Model Verification

R2026b

Assertion や Check Static Range など、シミュレーション中に信号が指定された範囲内に収まっていることを検証するためのブロック

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	信号が静的上限より小さい (またはオプションで等しい) かどうかのチェック