Model Verification

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

ブロック

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