Задайте опции, которые управляют тем, как 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' |
