Задайте входные диапазоны на элементах Stateflow и Simulink

Описывает, как анализ обрабатывает минимальные и максимальные значения на элементах Stateflow^® и Simulink^®.

Рассмотрите результаты анализа

Рассмотрите результаты анализа в  окне Simulink Design Verifier™ Results Summary.

Проверяйте на заданные нарушения минимального и максимального значения

Описывает, как анализировать модель, чтобы проверить, что задал проект соблюдаются, минимальные и максимальные значения.

Минимальные и максимальные входные ограничения

Обзор того, как анализ Simulink Design Verifier считает заданным, ввел минимальные и максимальные значения.

Спецификация Входных диапазонов в sldvData Полях

Описывает sldvData поля для минимальных и максимальных входных значений.

Используя заданный вход минимальные и максимальные значения как ограничения

В этом примере показано, как использовать входной порт минимальные и максимальные значения в качестве аналитических ограничений Simulink Design Verifier и во время генерации тестов и во время доказательства свойства.

Укажите диапазоны сигнала

Задайте минимальное и максимальное значение, которого сигнал может достигнуть в процессе моделирования. Полностью задайте свой проект и оптимизируйте типы данных и сгенерированный код путем определения минимального и максимального значения, которого сигнал может достигнуть в процессе моделирования.

Задайте ограничительные значения для структуры или соедините шиной параметры

Этот пример описывает, как сгенерировать тесты, которые ограничивают значения для структур и соединяют шиной сигналы в модели.