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