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