Main Content

モデル表現のオプションの構成

モデル表現を作成または再利用するオプションは、[Design Verifier] ペインのモデル表現の再作成オプションから、またはsldvoptionsを使用して設定できます。既定では、オプションは [変更が検出された場合] に設定され、モデルでの変更がない場合、モデル表現は解析に再利用されます。

解析を実行すると、[結果の概要] ウィンドウに、モデル表現に関する情報が表示されます。[モデル表現の再作成] オプションに [常時] を選択した場合、ソフトウェアは解析時にモデル表現を再作成します。

[変更が検出された場合] オプションを選択した場合は、ソフトウェアは既存のキャッシュされたモデル表現を検証します。キャッシュされたモデルは、検証に成功すると、解析に再利用されます。

モデル内で変更が検出された場合は、モデル表現は再作成されます。詳細については、モデル表現の再作成に影響する変更を参照してください。

関連するトピック