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.