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