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