ブロック置換ルールのテンプレート

ブロック置換ルールを作成しやすくするために、Simulink^® Design Verifier™ では必須コールバックのスケルトン実装を含む注釈付きテンプレートが提供されています。

matlabroot/toolbox/sldv/sldv/sldvblockreplacetemplate.m

ブロック置換ルールを作成するには、テンプレートをコピーし、そのコピーを編集して、作成するルールに要求する動作を実装します。テンプレートのコメントには、各セクションの使い方に関するヒントが示されています。

ブロック置換ルールには以下の制限があります。

ブロック置換ルールを表す関数には特定のコールバックが含まれていなければなりません。カスタムルール記述には、まずブロック置換ルールのテンプレートを使用します (サポートされていないブロックのブロック置換を参照してください)。
ブロック置換ルールを表す関数は、MATLAB^® 検索パス上になければなりません。