Main Content

Nonfinite Data

Simulink® Design Verifier™ does not support nonfinite data (for example, NaN and Inf) and related operations.

During an analysis, the software handles nonfinite operations as follows:

  • In the Relational Operator block:

    • If the Relational operator parameter is isFinite, the output is always 1.

    • If the Relational operator parameter is isNan or isInf, the output is always 0.

  • In the MATLAB Function block:

    • For the isFinite function, the output is always 1.

    • For the isNan and isInf functions, the output is always 0.