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