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