Main Content

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Model Verification

Check Input Resolution などの自己検証型モデルのブロック

Model Verification ライブラリのブロックを使用して、シミュレーション時に信号が指定された制限を満たしているかどうかのチェックなど、自己検証モデルを作成します。

ブロック

Assertion信号がゼロかどうかのチェック
Check Dynamic Gap幅の変化のギャップが信号の振幅の範囲内であるかどうかのチェック
Check Dynamic Range信号がタイム ステップ間で変化する振幅の範囲内であるかどうかのチェック
Check Static Gapギャップが信号の振幅の範囲内にあるかどうかのチェック
Check Static Range信号が固定の振幅範囲内にあるかどうかのチェック
Check Discrete Gradient連続した離散信号のサンプル間の差の絶対値が指定値未満であるかどうかのチェック
Check Dynamic Lower Boundある信号が別の信号より常に小さいかどうかのチェック
Check Dynamic Upper Boundある信号が別の信号より常に大きいかどうかのチェック
Check Input Resolution入力信号が指定された分解能をもつかどうかのチェック
Check Static Lower Bound信号が静的下限より大きい (またはオプションで等しい) かどうかのチェック
Check Static Upper Bound信号が静的上限より小さい (またはオプションで等しい) かどうかのチェック