Чтобы открыть библиотеку блоков Simulink ® Design Verifier™, введите в командной строке MATLAB ® sldvlib.
Библиотека блоков Simulink Design Verifier имеет три категории блоков:
Цели и ограничения - блоки, определяющие пользовательские цели и ограничения
Временные операторы - блоки, определяющие временные свойства логических сигналов
Проверочные утилиты - Различные проверочные утилиты
Библиотека блоков также имеет поддиапазон «Свойства примера», который содержит примеры указания общих свойств в модели. Эти примеры можно легко адаптировать для использования в моделях.