Simulink Design Verifier ブロック ライブラリ

Simulink^® Design Verifier™ ブロック ライブラリを開くには、MATLAB^® コマンド プロンプトで sldvlib と入力します。

Simulink Design Verifier ブロック ライブラリには、3 つのブロックのカテゴリがあります。

• Objectives and Constraints — カスタムのオブジェクティブおよび制約を定義するブロック

• Temporal Operators — Boolean 信号で時相プロパティを定義するブロック

• Verification Utilities — 各種検証ユーティリティ

ブロック ライブラリには、モデルの一般的なプロパティの指定例を含む Example Properties サブライブラリもあります。これらの例は、自分のモデルに合わせて簡単に変更できます。