Assertion

检查信号是否为零

库:
Simulink / Model Verification
HDL Coder / Model Verification

描述

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

示例

Temperature Control System Communicating with Messages

Distributed control of room temperatures by processing messages from room thermostats and communicating control commands using messages to different receivers.

打开模型

端口

输入

全部展开

Port_1 — 输入信号
标量 | 向量 | 矩阵

断言检查的输入信号。

参数

全部展开

启用断言 — 启用或禁用检查
`on` (默认) | `off`

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

编程用法

参数：enabled

类型：字符串标量或字符向量

值："on" | "off"

默认值："on"

断言失败时的仿真回调(可选) — 断言失败时要计算的表达式
`""` (默认) | MATLAB 表达式

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

依存关系

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

编程用法

参数：callback

类型：字符串标量或字符向量

默认值：""

断言失败时停止仿真 — 检查失败时是否停止仿真
`on` (默认) | `off`

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

编程用法

参数：stopWhenAssertionFail

类型：字符串标量或字符向量

值："on" | "off"

默认值："on"

采样时间(-1 表示继承) — 采样之间的时间间隔
`-1` (默认) | 标量 | 向量

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

依存关系

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

编程用法

模块参数：SampleTime

类型：字符串标量或字符向量

默认值："-1"

模块特性

数据类型	`Boolean` \| `double` \| `fixed point` \| `half` \| `integer` \| `single`
直接馈通	`否`
多维信号	`是`
可变大小信号	`否`
过零检测	`否`

扩展功能

C/C++ 代码生成
使用 Simulink® Coder™ 生成 C 代码和 C++ 代码。

有关 Simulink^® Coder™ 生成的代码如何处理 Model Verification 模块的信息，请参阅Configure Model for Debugging (Simulink Coder)。

不建议用于生产代码。

HDL 代码生成
使用 HDL Coder™ 为 FPGA 和 ASIC 设计生成 VHDL、Verilog 和 SystemVerilog 代码。

HDL Coder™ 提供影响 HDL 实现和综合逻辑的额外配置选项。

HDL 架构

架构	描述
无 HDL	不为此模块生成 HDL 代码。

HDL 模块属性

PreserveUpstreamLogic

控制是否删除未连接的逻辑。默认值为 off，这意味着未连接的逻辑不会保留在 HDL 代码中。有关详细信息，请参阅PreserveUpstreamLogic (HDL Coder)。

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

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

版本历史记录

在 R2006a 之前推出

另请参阅

Check Dynamic Lower Bound | Check Dynamic Upper Bound | Check Static Lower Bound | Check Static Upper Bound

Assertion

描述

示例

Temperature Control System Communicating with Messages

端口

输入

Port_1 — 输入信号 标量 | 向量 | 矩阵

参数

启用断言 — 启用或禁用检查 on (默认) | off

编程用法

断言失败时的仿真回调(可选) — 断言失败时要计算的表达式 "" (默认) | MATLAB 表达式

依存关系

编程用法

断言失败时停止仿真 — 检查失败时是否停止仿真 on (默认) | off

编程用法

采样时间(-1 表示继承) — 采样之间的时间间隔 -1 (默认) | 标量 | 向量

依存关系

编程用法

模块特性

扩展功能

C/C++ 代码生成 使用 Simulink® Coder™ 生成 C 代码和 C++ 代码。

HDL 代码生成 使用 HDL Coder™ 为 FPGA 和 ASIC 设计生成 VHDL、Verilog 和 SystemVerilog 代码。

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

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

版本历史记录

另请参阅

WeChat

Port_1 — 输入信号
标量 | 向量 | 矩阵

启用断言 — 启用或禁用检查
`on` (默认) | `off`

断言失败时的仿真回调(可选) — 断言失败时要计算的表达式
`""` (默认) | MATLAB 表达式

断言失败时停止仿真 — 检查失败时是否停止仿真
`on` (默认) | `off`

采样时间(-1 表示继承) — 采样之间的时间间隔
`-1` (默认) | 标量 | 向量

C/C++ 代码生成
使用 Simulink® Coder™ 生成 C 代码和 C++ 代码。

HDL 代码生成
使用 HDL Coder™ 为 FPGA 和 ASIC 设计生成 VHDL、Verilog 和 SystemVerilog 代码。

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

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