Панель верификатора проекта: блокируйте замены
Блокируйте заменяющий обзор панели
Задайте опции, которые управляют, как Simulink® Design Verifier™ предварительно обрабатывает модели, которые он анализирует.
Смотрите также
Примените замены блока
Задайте, заменяет ли Simulink Design Verifier блоки в модели перед ее анализом.
Настройки
Значение по умолчанию: 'off'
НаБлоки замен в модели перед Simulink Design Verifier анализируют его.
-
'off' Не заменяет блоки в модели, прежде чем 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' |