組み込みブロック置換

Simulink^® Design Verifier™ ソフトウェアでは、一連のブロック置換ルールと、対応する代替ブロックのライブラリを提供します。モデルの解析時にこれらの組み込みブロック置換が使用されます。これらは独自のブロック置換の作成方法を学ぶために検討できる例として役立ちます。

以下の表は出荷時の既定のブロック置換ルールの一覧です。これらは matlabroot\toolbox\sldv\sldv\private フォルダーで見ることができます。それぞれの出荷時の既定のブロック置換ルールには 2 つの実装があります。_normal.m で終わるファイル名のルールは、ブロックを Subsystem ブロックに置き換えます。

ファイル名	説明
`blkrep_rule_lookup_normal.m`	1-D Lookup Table ブロックを、[ブレークポイント] パラメーターで指定された各ブレークポイントおよび区間に対するテストオブジェクティブを含んだ実装に置換するルール。
`blkrep_rule_lookup2D_normal.m`	Test Condition ブロックまたは Proof Assumption ブロックを 2-D Lookup Table ブロックの入力端子に追加するルール。それぞれの Test Condition または Proof Assumption ブロックは信号値を、対応するブレークポイントベクトルで指定された間隔に制約します。
`blkrep_rule_mpswitch2_normal.m`	Test Condition ブロックまたは Proof Assumption ブロックを、[データ端子数] パラメーターが `2` の Multiport Switch ブロックの制御入力端子に追加するルール。Test Condition ブロックまたは Proof Assumption ブロックは信号値を [1, 2] の区間 (ブロックが 0 ベースのインデックスを使用している場合は [0, 1]) に制約します。
`blkrep_rule_mpswitch3_normal.m`	Test Condition ブロックまたは Proof Assumption ブロックを、[データ端子数] パラメーターが `3` の Multiport Switch ブロックの制御入力端子に追加するルール。Test Condition ブロックまたは Proof Assumption ブロックは信号値を [1, 3] の区間 (ブロックが 0 ベースのインデックスを使用している場合は [0, 2]) に制約します。
`blkrep_rule_mpswitch4_normal.m`	Test Condition ブロックまたは Proof Assumption ブロックを、[データ端子数] パラメーターが `4` の Multiport Switch ブロックの制御入力端子に追加するルール。Test Condition ブロックまたは Proof Assumption ブロックは信号値を [1, 4] の区間 (ブロックが 0 ベースのインデックスを使用している場合は [0, 3]) に制約します。
`blkrep_rule_mpswitch5_normal.m`	Test Condition ブロックまたは Proof Assumption ブロックを、[データ端子数] パラメーターが `5` の Multiport Switch ブロックの制御入力端子に追加するルール。Test Condition ブロックまたは Proof Assumption ブロックは信号値を [1, 5] の区間 (ブロックが 0 ベースのインデックスを使用している場合は [0, 4]) に制約します。
`blkrep_rule_switch_normal.m`	Switch ブロックを、テストオブジェクティブを含む実装で置換するルール。最初と 3 番目の入力端子の値が異なる場合、それぞれのスイッチ位置を確認する必要があります。
`blkrep_rule_switch_nonvir_normal.m`	非バーチャルバス入力をもつ Switch ブロックを、非バーチャルバス入力をバーチャルバス入力に変換する実装で置き換えるルール。この実装にはテストオブジェクティブが含まれ、最初と 3 番目の入力端子の値が異なる場合、それぞれのスイッチ位置を確認する必要があります。
`blkrep_rule_selector IndexVecPort_normal.m`	Test Condition ブロックまたは Proof Assumption ブロックを、[インデックスオプション] パラメーターが `Index vector (port)` の Selector ブロックのインデックス端子に追加するルール。Test Condition ブロックまたは Proof Assumption ブロックは信号値を、Selector ブロックの [入力の端子サイズ] および [インデックスモード] パラメーターの値から導出されたエンドポイントの間隔に制約します。
`blkrep_rule_selector StartingIdxPort_normal.m`	Test Condition ブロックまたは Proof Assumption ブロックを、[インデックスオプション] パラメーターが `Starting index (port)` の Selector ブロックのインデックス端子に追加するルール。Test Condition ブロックまたは Proof Assumption ブロックは信号値を、Selector ブロックの [入力の端子サイズ]、[出力サイズ] および [インデックスモード] パラメーターの値から導出されたエンドポイントの間隔に制約します。

出荷時の既定のルールに対応する代替ブロックのライブラリは次です。

matlabroot/toolbox/sldv/sldv/sldvblockreplacementlib