Задание входных диапазонов для элементов Simulink и Stateflow
Описывает, как анализ обрабатывает минимальные и максимальные значения элементов Simulink ® и Stateflow ®.
Ограничения минимального и максимального ввода
Обзор того, как анализ Simulink Design Verifier™ учитывает указанные входные минимальные и максимальные значения.
Спецификация входных диапазонов в полях sldvData
Описывает sldvData поля для минимального и максимального входных значений.