断言

检查信号是否为零

展开所有页面

图书馆：
金宝appSimulink / Model验证
HDL编码器/模型验证

描述

这断言块检查输入信号的任何元素是否是0.。如果所有元素都是非零，则断言是真（1）block什么也不做。如果不是，则默认情况下，该块将暂停模拟并返回一个错误消息。

港口

输入

展开全部

`port_1.`- 输入信号
标量|向量|矩阵

输入信号到断言检查。

数据类型：一半|单身的|双倍的|INT8.|int16|INT32.|INT64.|uint8.|uint16|UINT32|UINT64|布尔基|不动点|枚举

参数

展开全部

`启用断言`- 启用或禁用检查
`在`（默认）|`离开`

清除此参数禁用块并导致模型表现得像块不存在一样。要启用或禁用所有验证块，无论此选项的设置如何，请转到“配置参数”窗口，单击诊断>数据有效性，展开高级参数部分和设置启用模型验证块到启用所有或禁用所有。

命令行信息

参数:启用

类型：字符向量

价值观：'在'|'离开'

默认：'在'

`断言失败时的模拟回调(可选)`- 当断言失败时要评估的表达
`''`（默认）|matlab表达

指定MATLAB.^®表达以评估断言失败时。由于在MATLAB工作空间中评估了表达式，因此定义在该工作空间中表达式中使用的所有变量。

依赖性

要启用该参数，请选择启用断言范围。

命令行信息

参数:回调

类型：字符向量

价值观：matlab表达

默认：''

`断言失败时停止模拟`- 是否在检查失败时停止模拟
`在`（默认）|`离开`

选中此参数以在检查失败时停止模拟。清除此参数以显示警告并继续模拟。

命令行信息

参数:stopwhenassertionfail.

类型：字符向量

价值观：'在'|'离开'

默认：'在'

`采样时间`- 将采样时间指定为以外的值`-1`
`-1`（默认）|标量|向量

将采样时间指定为-1以外的值。有关更多信息，请参阅指定采样时间。

依赖性

除非将其明确设置为除此之外的值，否则此参数不可见。-1。要了解更多信息，请参阅不建议使用采样时间的块。

程序使用

块参数：采样时间

类型：字符向量

价值观：标量或矢量

默认：'-1'

模型例子

温度控制系统与消息通信

在分布式系统中使用消息通信，控制器以迭代的方式管理来自不同发送方的多个传入消息，并发送消息来将命令传递给不同的接收者。该示例使用了一个控制系统模型，该控制系统在两个不同的房间中管理温度，其中有独立的恒温器。组件的算法建模基本遵循statflow实例Model Bang-Bang Temperature Control System (statflow)，组件之间的通信采用Simulink®消息和SimEvents®块进行建模。金宝app参考模型Controller和Thermometer(用蓝色标注)是期望生成独立代码的软件组件，而其他组件则对环境进行建模。

块特征

数据类型	`布尔基`\|`双倍的`\|`不动点`\|`一半`\|`整数`\|`单身的`
直接引线	`没有`
多维信号	`是的`
可变尺寸信号	`没有`
零交叉检测	`没有`

扩展能力

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

了解如何金宝app^®编码器™生成的代码处理模型验证块，请参阅配置调试模型（金宝appSimulink编码器）。

不推荐用于生产代码。

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

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

HDL架构

该块可用于在模拟过程中检查输入信号是否为零，但在硬件实现中没有包含。

PLC代码生成
使用Simulink®PLCCoder™生成结构化文本代码。金宝app

定点转换
使用fixed-point Designer™设计和模拟定点系统。

也可以看看

检查动态下限|检查动态上限|检查静态下限|检查静态上限

在R2006A之前介绍

断言

描述

港口

输入

`port_1.`- 输入信号
标量|向量|矩阵

参数

`启用断言`- 启用或禁用检查
`在`（默认）|`离开`

命令行信息

`断言失败时的模拟回调(可选)`- 当断言失败时要评估的表达
`''`（默认）|matlab表达

依赖性

命令行信息

`断言失败时停止模拟`- 是否在检查失败时停止模拟
`在`（默认）|`离开`

命令行信息

`采样时间`- 将采样时间指定为以外的值`-1`
`-1`（默认）|标量|向量

依赖性

程序使用

模型例子

温度控制系统与消息通信

块特征

扩展能力

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

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

PLC代码生成
使用Simulink®PLCCoder™生成结构化文本代码。金宝app

定点转换
使用fixed-point Designer™设计和模拟定点系统。

也可以看看

金宝appSimulink文档

金宝app

基于模型的嵌入式控制系统设计

断言

描述

港口

输入

port_1.- 输入信号标量|向量|矩阵

参数

启用断言- 启用或禁用检查在（默认）|离开

命令行信息

断言失败时的模拟回调(可选)- 当断言失败时要评估的表达''（默认）|matlab表达

依赖性

命令行信息

断言失败时停止模拟- 是否在检查失败时停止模拟在（默认）|离开

命令行信息

采样时间- 将采样时间指定为以外的值-1-1（默认）|标量|向量

依赖性

程序使用

模型例子

温度控制系统与消息通信

块特征

扩展能力

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

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

PLC代码生成使用Simulink®PLCCoder™生成结构化文本代码。金宝app

定点转换使用fixed-point Designer™设计和模拟定点系统。

也可以看看

金宝appSimulink文档

金宝app

基于模型的嵌入式控制系统设计

`port_1.`- 输入信号
标量|向量|矩阵

`启用断言`- 启用或禁用检查
`在`（默认）|`离开`

`断言失败时的模拟回调(可选)`- 当断言失败时要评估的表达
`''`（默认）|matlab表达

`断言失败时停止模拟`- 是否在检查失败时停止模拟
`在`（默认）|`离开`

`采样时间`- 将采样时间指定为以外的值`-1`
`-1`（默认）|标量|向量

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

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

PLC代码生成
使用Simulink®PLCCoder™生成结构化文本代码。金宝app

定点转换
使用fixed-point Designer™设计和模拟定点系统。