Assertion

检查零信号值。

类型: Assertion

图书馆中的路径:

/Basic/Model Verification/Assertion

资料描述

座 Assertion 检测值 0 入信号中。如果所有元素都非零，则执行该语句 真(1) 这个街区什么也不做。如果不是，该块将停止模拟，并默认返回错误消息。

# 在 — 的输入信号
标量,标量 | 向量资料 | 矩阵

Details

用于验证语句的输入信号。

数据类型	`漂浮物16`, `漂浮物32`, `漂浮64`, `Int8`, `Int16`, `Int32`, `Int64`, `Int128`, `UInt8`, `UInt16`, `UInt32`, `UInt64`, `UInt128`, `布尔`, `定点`
复数支持	非也。

# Enable assertion — 启用验证
Logical

Details

取消选中此框以禁用该块。

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

Details

指定要计算的表达式。

依赖关系

要使用此选项，请选中选项复选框。 Enable assertion .

# Stop simulation when assertion fails — 在检查不成功的情况下停止模拟
Logical

Details

如果检查失败，请选中此框以停止模拟。

取消选中此框以显示警告并继续模拟。