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