Simulink® Design Verifier™ не поддерживает нефинитные данные (для примера, NaN и Inf) и сопутствующие операции.
Во время анализа программное обеспечение обрабатывает нефинитные операции следующим образом:
В блоке Relational Operator:
Если параметр Relational operator isFinite, выход всегда равен 1.
Если параметр Relational operator isNan или isInf, выход всегда равен 0.
В блоке MATLAB Function:
Для isFinite function, выход всегда равен 1.
Для isNan и isInf functions, выход всегда равен 0.