Основной рабочий процесс для анализа вашей модели описан в следующих шагах со ссылками на связанную документацию.
| Шаг | Действие | Смотрите... |
|---|---|---|
1 | Проверяйте совместимость своей модели. | Проверяйте совместимость модели Для получения дополнительной информации о поддерживаемых блоках и функциях, смотрите Поддерживаемые и Неподдерживаемые блоки Simulink в Simulink Design Verifier и Ограничениях Поддержки для Программных функций Simulink. |
2 | Если вы хотите работать вокруг ограничений совместимости в вашей модели или настроить элементы модели для анализа, можно использовать заменяющие правила блока Simulink® Design Verifier™. Если вы хотите сгенерировать дополнительные значения для параметров в вашей модели во время анализа, используйте настройки параметра Simulink Design Verifier. | |
3 | Установите опции Simulink Design Verifier. | |
4 | Если вы планируете сгенерировать тесты или доказать свойства в вашей модели, поиске ошибок проектирования первого показа для целочисленного переполнения и деления на нуль. | |
5 | Анализируйте свою модель к:
| |
6 | Сгенерируйте результаты. | |
7 | Интерпретируйте результаты. |
Поддержите ограничения для блоков Model | Поддержите ограничения для программных функций Stateflow