Main Content

非有限データ

Simulink® Design Verifier™ では、非有限データ (たとえば、NaN や Inf) および関連する演算はサポートされません。

解析時に、有限データの演算は次のように処理されます。

  • Relational Operator ブロック:

    • [関係演算子] パラメーターが [isFinite] の場合、出力は常に 1 になります。

    • [関係演算子] パラメーターが [isNan] または [isInf] の場合、出力は常に 0 になります。

  • MATLAB Function ブロック:

    • 関数 isFinite の出力は常に 1 になります。

    • 関数 isNan および isInf の出力は常に 0 になります。