Чтобы помочь вам создать заменяющие правила блока, Simulink® Design Verifier™ обеспечивает аннотируемый шаблон, который содержит скелетную реализацию необходимых коллбэков:
matlabroot/toolbox/sldv/sldv/sldvblockreplacetemplate.m
Чтобы создать заменяющее правило блока, сделайте копию шаблона и отредактируйте копию, чтобы реализовать желаемое поведение для правила, которое вы создаете. Комментарии в шаблоне обеспечивают подсказки о том, как использовать каждый раздел.
Блокируйтесь заменяющие правила имеют следующие ограничения:
Функция, которая представляет заменяющее правило блока, должна включать конкретные коллбэки. Используйте заменяющий шаблон правила блока в качестве начальной точки для записи пользовательского правила. (См. Замены Блока для Неподдерживаемых Блоков.)
Функция, которая представляет заменяющее правило блока, должна быть на пути поиска файлов MATLAB®.