ドキュメンテーション

最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

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