Задайте опции, которые управляют, как Simulink® Design Verifier™ предварительно обрабатывает модели, которые он анализирует.
Задайте, заменяет ли Simulink Design Verifier блоки в модели перед ее анализом.
Значение по умолчанию: Off
OnБлоки замен в модели перед 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' |
