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