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