設計エラー検出解析の実行

欠陥チェッカーを使用して欠陥を検出したら、選択したエラーについて設計エラー検出解析を実行します。このモデルでは、ゼロ除算エラーや整数および固定小数点データのオーバーフローエラーなどのランタイムエラーを検出します。

モデル sldvexDetectDesignErrorsExample を開きます。

[Design Verifier] タブで [欠陥チェッカー] をオフにします。

[コンフィギュレーションパラメーター] ダイアログボックスを開きます。[Design Verifier]、[設計エラー検出] ペインで、[整数のオーバーフロー] と [ゼロ除算] が選択されていることを確認します。

[適用] と [OK] をクリックして変更を保存します。

[Design Verifier] タブで [設計エラーの検出] をクリックします。

設計エラーについてモデルが解析され、[結果の概要] ウィンドウに結果が表示されます。結果には、6 個のオブジェクティブ中 3 個が反証されたことが示されています。

次に、設計エラー検出解析の結果を確認します。