Assertion

Проверяйте, является ли сигнал нулем

  • Библиотека:
  • Simulink / Model Verification

    HDL Coder / Model Verification

  • Assertion block

Описание

Проверки блока Assertion, является ли каким-либо из элементов входного сигнала нуль. Если все элементы являются ненулевыми, блок ничего не делает. Если каким-либо элементом является нуль, блок останавливает симуляцию, по умолчанию, и отображает сообщение об ошибке. Используйте диалоговое окно параметров блоков для:

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

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

  • Включите или отключите утверждение.

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

Порты

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

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

Входной сигнал к проверке утверждения.

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

Параметры

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

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

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

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

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

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

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

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

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

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

Задайте шаг расчета как значение кроме-1. Для получения дополнительной информации см. Настройку времени выборки.

Зависимости

Этот параметр не отображается, если он явным образом не установлен в значение кроме -1. Чтобы узнать больше, смотрите Блоки, для Которых Не Рекомендуется Шаг расчета.

Программируемое использование

Параметры блоков: SampleTime
Ввод: символьный вектор
Значения: скаляр или вектор
Значение по умолчанию: '-1'

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

Типы данных

Boolean | double | fixed point | half | integer | single

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

no

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

yes

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

no

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

no

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

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

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

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