Документация Engee

Assertion

Проверка на нулевое значение сигнала.

Тип: Assertion

Путь в библиотеке:

/Basic/Model Verification/Assertion

Описание

Блок Assertion обнаруживает значения 0 во входном сигнале. Если все элементы ненулевые, выполняется утверждение true (1) и блок ничего не делает. Если нет, блок останавливает симуляцию и по умолчанию возвращает сообщение об ошибке.

Порты

Вход

# IN — входной сигнал
скаляр | вектор | матрица

Details

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

Типы данных

Float16, Float32, Float64, Int8, Int16, Int32, Int64, Int128, UInt8, UInt16, UInt32, UInt64, UInt128, Bool, Fixed-point

Поддержка комплексных чисел

Нет

Параметры

Параметры

# Enable assertion — включение проверки
Logical

Details

Уберите этот флажок, чтобы отключить блок.

Значение по умолчанию

true (включено)

Имя для программного использования

Enabled

Настраиваемый

Нет

Вычисляемый

Нет

# Simulation callback when assertion fails — выражение для оценки вычисления
String

Details

Укажите выражение для оценки вычисления.

Зависимости

Чтобы использовать этот параметр, установите флажок параметра Enable assertion.

Значение по умолчанию

—

Имя для программного использования

AssertionFailFcn

Настраиваемый

Нет

Вычисляемый

Нет

# Stop simulation when assertion fails — остановка симуляции при неудачной проверке
Logical

Details

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

Снимите этот флажок, чтобы вывести предупреждение и продолжить моделирование.

Значение по умолчанию

true (включено)

Имя для программного использования

StopWhenAssertionFail

Настраиваемый

Нет

Вычисляемый

Нет