Открыть библиотеку блоков Simulink® Design Verifier™, в командной строке MATLAB®, sldvlib
типа.
Библиотека блоков Simulink Design Verifier имеет три категории блоков:
Цели и Ограничения — Блоки, которые задают пользовательские цели и ограничения
Темпоральные операторы — Блоки, которые задают временные свойства на булевых сигналах
Утилиты верификации — Разные утилиты верификации
Библиотека блоков также имеет подбиблиотеку, Example Properties, которая включает примеры того, как задать общую собственность в вашей модели. Можно легко адаптировать эти примеры к использованию в моделях.