配置模型表示选项
您可以从 Design Verifier窗格、重建模型表示 选项或使用 sldvoptions
配置选项来构建或重用模型表示。默认情况下,该选项设置为如果检测到更改,如果模型没有变化,软件将重新使用模型表示进行分析。
当您执行分析时,“结果摘要”窗口将显示有关模型表示的信息。如果为 重新编译模型表示 选项选择 始终,软件会在分析过程中重建模型表示。
如果您选择如果检测到更改选项,软件将验证现有的缓存模型表示。如果缓存的模型验证成功,则可以重新用于分析。
如果在模型中检测到变化,则重建模型表示。有关更多信息,请参阅影响模型表示重建的更改。