В начале проекта используйте Simulink® Design Verifier™, чтобы вести процесс проектирования, когда вы создаете свою модель. Запустите путем изучения аналитического рабочего процесса и анализа запуска прогрессивно, когда модель растет. Если у вас есть существующий проект в Simulink, смотрите Выбор Компонента.
Основной рабочий процесс для Simulink Design Verifier
Обзор основного рабочего процесса Simulink Design Verifier.
Сгенерируйте тесты для подсистемы
Анализируйте отдельную подсистему.
Анализируйте Stateflow атомарная субдиаграмма
Анализ атомарной субдиаграммы с помощью программного обеспечения Simulink Design Verifier.
Анализ простой модели в качестве примера с Simulink Design Verifier.
Анализ простой модели, которая демонстрирует поддержку Simulink Design Verifier.
Описывает методы для анализа большой модели.
Анализируйте модели экспорта функций
Анализ экспорта функций модели при помощи Simulink Design Verifier.
Приближения Simulink Design Verifier выполняют прежде, чем начать его анализ.
Создание отчетов о приближениях через результаты валидации
Описывает, как Simulink Design Verifier сообщает о приближениях через результаты валидации.
Если вы имеете модель Simulink и с логическими и с арифметическими операциями, считаете анализ только логическими операциями.
Замыкание накоротко логических операций
Объясняет как логические блоки коротких схем Simulink Design Verifier.
Модифицированное условие и Decision Coverage в Simulink Design Verifier
Описывает различие между покрытием MCDC в Simulink Design Verifier и в Simulink Coverage™.
Анализ Model blocks та ссылка внешние модели.
Объясняет, как Simulink уменьшает блоки в процессе моделирования и как он влияет на анализ Simulink Design Verifier.
Оптимизируйте модели Simulink путем преобразования настраиваемых параметров в постоянные значения.
Simulink Design Verifier не поддерживает неличные данные (например, NaN и Inf) и связанные операции.
Обзор методов для анализа больших моделей.
Описывает характеристики модели, которые могут усложнить анализ.
Подход снизу вверх к анализу модели
Объясняют преимущества анализа модели начиная с низкоуровневых элементов.