Check Dynamic Range

Проверяйте, что сигнал падает в области значений амплитуд, которая варьируется от временного шага до временного шага

  • Библиотека:
  • Simulink / верификация модели

    HDL Coder / верификация модели

Описание

Проверки блока Check Dynamic Range, что тестовый сигнал падает в области значений амплитуд на каждом временном шаге. Ширина области значений может варьироваться от временного шага до временного шага. Вход пометил u, тестовый сигнал. Входные параметры пометили min, и max нижние и верхние границы допустимой области значений на шаге текущего времени. Если условие верификации верно, блок ничего не делает. В противном случае блок останавливает симуляцию, по умолчанию, и отображает сообщение об ошибке.

Используйте блоки в библиотеке Model Verification, чтобы упростить создание самопроверки моделей. Например, можно использовать блоки верификации модели, чтобы протестировать, который сигнализирует, не превышают заданные пределы в процессе моделирования. Когда вам удовлетворяют, что модель правильна, можно выключить проверку ошибок путем отключения блоков верификации. Вы не должны удалять их из модели. Если необходимо изменить модель, можно временно снова включить блоки верификации, чтобы гарантировать, что изменения не повреждают модель.

Порты

Входной параметр

развернуть все

Сигнал, задающий верхнюю границу области значений, что проверки блока входной сигнал амплитуда u. Все три входных сигнала должны быть совпадающим типом данных.

Типы данных: single | double | int8 | int16 | int32 | uint8 | uint16 | uint32 | Boolean | fixed point | enumerated

Сигнал, задающий нижнюю границу области значений, что проверки блока входной сигнал амплитуда u. Все три входных сигнала должны быть совпадающим типом данных и размерностью.

Типы данных: single | double | int8 | int16 | int32 | uint8 | uint16 | uint32 | Boolean | fixed point | enumerated

Входной сигнал, проверяемый по диапазону, указанному max и min. Все три входных сигнала должны быть совпадающим типом данных и размерностью.

Типы данных: single | double | int8 | int16 | int32 | uint8 | uint16 | uint32 | Boolean | fixed point | enumerated

Вывод

развернуть все

Выходной сигнал на каждом временном шаге, который является true (1), если утверждение успешно выполняется, и ложь (0), если утверждение перестало работать. Если в Параметрах конфигурации вы выбираете Implement logic signals as Boolean data, то типом выходных данных является Boolean. В противном случае типом данных сигнала является double.

Зависимости

Чтобы включить этот выходной порт, установите флажок параметра Output assertion signal.

Типы данных: double | Boolean

Параметры

развернуть все

Снятие этого флажка отключает блок и заставляет модель вести себя, как будто блок не существует. Можно установить установку Model Verification block enabling в Параметрах конфигурации включать или отключать все блоки верификации модели в модели независимо от установки этой опции.

Информация о командной строке

Параметр: enabled
Ввод: символьный вектор
Значения: 'on' | 'off'
Значение по умолчанию: 'on'

Задайте выражение MATLAB®, чтобы оценить, когда утверждение перестанет работать. Поскольку выражение выполнено в рабочем пространстве MATLAB, задайте все переменные, используемые в выражении в той рабочей области.

Информация о командной строке

Параметр: callback
Ввод: символьный вектор
Значения: Выражение MATLAB
Значение по умолчанию: ' '

Установите этот флажок, чтобы указать, что блок останавливает симуляцию, когда проверка перестала работать. Очиститесь, чтобы указать, что программное обеспечение выводит предупреждение и продолжает симуляцию.

Информация о командной строке

Параметр: stopWhenAssertionFail
Ввод: символьный вектор
Значения: 'on' | 'off'
Значение по умолчанию: 'on'

Выбор этого флажка заставляет блок выводить булев сигнал, который верен (1) на каждом временном шаге, если утверждение успешно выполняется и ложь (0) если утверждение перестало работать. Типом данных выходного сигнала является Boolean если вы установили флажок Implement logic signals as Boolean data на диалоговом окне Configuration Parameters. В противном случае типом данных выходного сигнала является double.

Информация о командной строке

Параметр: export
Ввод: символьный вектор
Значения: 'on' | 'off'
Значение по умолчанию: 'off'

Укажите, что тип значка раньше отображал этот блок в блок-схеме. graphic опция отображает графическое представление условия утверждения на значке. text опция отображает математическое выражение, которое представляет условие утверждения. Если значок слишком мал, чтобы отобразить выражение, текстовый значок отображает восклицательный знак. Чтобы видеть выражение, увеличьте блок.

Информация о командной строке

Параметр: icon
Ввод: символьный вектор
Значения: 'graphic' | 'text'
Значение по умолчанию: 'graphic'

Характеристики блока

Типы данных

Boolean | double | enumerated | fixed point | integer | single

Прямое сквозное соединение

no

Многомерные сигналы

yes

Сигналы переменного размера

no

Обнаружение пересечения нулем

no

Расширенные возможности

Генерация кода PLC
Сгенерируйте код Структурированного текста с помощью Simulink® PLC Coder™.

Преобразование фиксированной точки
Спроектируйте и симулируйте системы фиксированной точки с помощью Fixed-Point Designer™.

Представлено до R2006a

Для просмотра документации необходимо авторизоваться на сайте