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

取消选中该复选框可禁用该功能块。

# Simulation callback when assertion fails — 计算的表达式
String

Details

指定用于计算的表达式。

依赖关系

要使用该参数，请在参数 Enable assertion 的复选框中打勾。

# Stop simulation when assertion fails — 如果测试失败，停止模拟
Logical

Details

选择此复选框可在测试失败时停止模拟。

清除该复选框可显示警告并继续模拟。