Main Content

Assertion

检查信号是否为零

  • Assertion block

库:
Simulink / Model Verification
HDL Coder / Model Verification

描述

Assertion 模块检查输入信号是否有元素为 0。如果所有元素均为非零值,则断言为 true (1),该模块不执行任何操作。否则,默认情况下该模块将停止仿真并返回一条错误消息。

端口

输入

全部展开

断言检查的输入信号。

数据类型: half | single | double | int8 | int16 | int32 | int64 | uint8 | uint16 | uint32 | uint64 | Boolean | fixed point | enumerated

参数

全部展开

清除此参数将禁用模块,使模型的行为与模块不存在时一样。要启用或禁用所有验证模块(不考虑此选项的设置),请转至“配置参数”窗口,点击诊断 > 数据有效性,展开高级参数部分,并将 Model Verification 模块的启用设置为 Enable allDisable all

编程用法

参数:enabled
类型:字符串标量或字符向量
"on" | "off"
默认值"on"

指定要在断言失败时计算的 MATLAB® 表达式。由于表达式在 MATLAB 工作区中进行计算,因此在该工作区中定义表达式使用的所有变量。

依存关系

要启用此参数,请选择启用断言参数。

编程用法

参数:callback
类型:字符串标量或字符向量
默认值:""

选中此参数会在检查失败时停止仿真。清除此参数会显示警告并继续仿真。

编程用法

参数:stopWhenAssertionFail
类型:字符串标量或字符向量
"on" | "off"
默认值"on"

指定采样时间间隔。要继承采样时间,请将此参数设置为 -1。有关详细信息,请参阅指定采样时间

依存关系

仅当您将此参数设置为 -1 以外的值时才可见。要了解详细信息,请参阅不建议设置采样时间的模块

编程用法

模块参数:SampleTime
类型:字符串标量或字符向量
默认值:"-1"

模块特性

数据类型

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

直接馈通

多维信号

可变大小信号

过零检测

扩展功能

PLC 代码生成
使用 Simulink® PLC Coder™ 生成结构化文本代码。

定点转换
使用 Fixed-Point Designer™ 设计和仿真定点系统。

版本历史记录

在 R2006a 之前推出