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