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