配置模型表示选项

您可以从 Design Verifier窗格、重建模型表示选项或使用 sldvoptions 配置选项来构建或重用模型表示。默认情况下，该选项设置为如果检测到更改，如果模型没有变化，软件将重新使用模型表示进行分析。

当您执行分析时，“结果摘要”窗口将显示有关模型表示的信息。如果为 重新编译模型表示 选项选择始终，软件会在分析过程中重建模型表示。

如果您选择如果检测到更改选项，软件将验证现有的缓存模型表示。如果缓存的模型验证成功，则可以重新用于分析。

如果在模型中检测到变化，则重建模型表示。有关更多信息，请参阅影响模型表示重建的更改。

相关主题