Если у вас есть модель проекта в Simulink®, см. «Выбор компонента», чтобы сконфигурировать фрагменты вашего проекта для анализа Simulink Design Verifier™. Итерационный анализ выполняется по мере обновления модели.
sldvcompat | Проверьте модель на совместимость с анализом |
sldvoptions | Создайте объект опций верификации проекта |
sldvrun | Анализируйте модель |
Основной рабочий процесс для Simulink Design Verifier
Обзор базового рабочего процесса Simulink Design Verifier.
Представление модели для анализа
Описывает представление модели, которое Simulink Design Verifier использует для анализа.
Сконфигурируйте опции представления модели
Описывает, как сконфигурировать опции представления модели. Simulink Design Verifier использует для анализа.
Совместное использование файла кэша Simulink для более быстрого анализа
Используйте файлы кэша Simulink для совместного использования и повторного использования представления модели для анализа.
Расширение существующих тестовых случаев путем переиспользования представления модели
Переанализируйте модель при помощи представления модели.
Фильтрация целей при помощи средства просмотра фильтров анализа
Описывает фильтрацию целей с помощью средства просмотра фильтров анализа.
