Проект Design Verifier: замена блоков
Обзор панели замен блоков
Задайте опции, которые управляют тем, как Simulink® Design Verifier™ предварительная обработка моделей, которые он анализирует.
См. также
Применить замену блоков
Укажите, заменяет ли Simulink Design Verifier блоки в модели перед ее анализом.
Настройки
По умолчанию: Off
НаЗаменяет блоки в модели, прежде чем Simulink Design Verifier проанализирует ее.
-
Прочь Не заменяет блоки в модели, прежде чем Simulink Design Verifier проанализирует ее.
Зависимости
Этот параметр включает List of block replacement rules и File path of the output model.
Информация о командной строке
Параметр: DVBlockReplacement |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'off' |
См. также
Список правил замены блоков
Задайте список правил замены блоков, которые Simulink Design Verifier выполняет перед его анализом.
Настройки
По умолчанию: <FactoryDefaultRules>
Задайте правила замены блоков как список, разделенный пространствами, запятыми или возвратами каретки.
Программное обеспечение Simulink Design Verifier обрабатывает правила замены блоков в том порядке, в котором они перечислены.
Если вы задаете значение по умолчанию, Simulink Design Verifier использует свои заводские правила замены блоков по умолчанию.
Зависимость
Этот параметр активируется, когда вы выбираете Apply block replacements.
Информация о командной строке
Параметр: DVBlockReplacementRulesList |
| Тип: символьный массив |
| Значение: любые действительные правила |
По умолчанию: '<FactoryDefaultRules>' |
См. также
Путь к файлу модели выхода
Укажите папку и имя файла для модели, результаты которой будут получены после применения правил замены блоков.
Настройки
По умолчанию: $ModelName$_replacement
При необходимости введите путь, который является либо абсолютным, либо относительно имени пути, заданного в Output folder.
Введите имя файла для модели, которое появляется после применения правил замены блоков.
$ModelName$является лексемой, который представляет имя модели.
Зависимость
Этот параметр активируется, когда вы выбираете Apply block replacements.
Информация о командной строке
Параметр: DVBlockReplacementModelFileName |
| Тип: символьный массив |
| Значение: любой допустимый путь и имя файла |
По умолчанию: '$ModelName$_replacement' |