このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Design Verifier ペイン: ブロック置換
ブロック置換ペインの概要
Simulink® Design Verifier™ による解析モデルの前処理方法を制御するオプションを指定します。
参考
ブロック置換の適用
Simulink Design Verifier がモデルの解析前にモデル内のブロックを置換するかどうかを指定します。
設定
既定の設定: オフ
オンSimulink Design Verifier はモデルの解析前にモデル内のブロックを置き換えます。
-
オフ Simulink Design Verifier はモデルの解析前にモデル内のブロックを置き換えません。
依存関係
このパラメーターにより、[ブロック置換ルールのリスト] および [出力モデルのファイル パス] が有効になります。
コマンド ライン情報
パラメーター: DVBlockReplacement |
| タイプ: 文字配列 |
値: 'on' | 'off' |
既定の設定: 'off' |
参考
ブロック置換ルールのリスト
Simulink Design Verifier が解析の前に実行するブロック置換ルールのリストを指定します。
設定
既定の設定: <FactoryDefaultRules>
空白、コンマまたはキャリッジ リターンで区切られたリストでブロック置換ルールを指定します。
Simulink Design Verifier ソフトウェアは、リストされた順にブロック置換ルールを処理します。
既定値を指定すると、Simulink Design Verifier は出荷時の既定のブロック置換ルールを使用します。
依存関係
このパラメーターは、[ブロック置換の適用] の選択時に有効になります。
コマンド ライン情報
パラメーター: DVBlockReplacementRulesList |
| タイプ: 文字配列 |
| 値: 任意の有効なルール |
既定の設定: '<FactoryDefaultRules>' |
参考
出力モデルのファイル パス
ブロック置換ルール適用後の結果モデルのフォルダーおよびファイル名を指定します。
設定
既定の設定: $ModelName$_replacement
オプションで、[出力フォルダー] に指定されたパス名の絶対パスまたは相対パスを入力します。
ブロック置換ルール適用後の結果モデルのファイル名を入力します。
$ModelName$は、モデル名を表すトークンです。
依存関係
このパラメーターは、[ブロック置換の適用] の選択時に有効になります。
コマンド ライン情報
パラメーター: DVBlockReplacementModelFileName |
| タイプ: 文字配列 |
| 値: 任意の有効なパスおよびファイル名 |
既定の設定: '$ModelName$_replacement' |
