断言

检查信号是否为零

全部展开页面

库:
金宝appSimulink /模型验证
HDL编码器/模型验证

描述

的断言Block检查输入信号中是否有任何元素为零。如果所有元素都非零，则块不执行任何操作。如果任何元素为零，则默认情况下，块将停止模拟，并显示错误消息。使用块参数对话框:

指定该块在断言失败时显示警告消息，但允许模拟继续。
指定一个MATLAB^®表达式，以便在断言失败时求值。
启用或禁用断言。

使用模型验证库中的块来促进自验证模型的创建。例如，您可以使用模型验证块来测试在模拟过程中信号是否超过指定的限制。当您确信模型是正确的时，您可以通过禁用验证块来关闭错误检查。您不必从模型中删除它们。如果您需要修改一个模型，您可以暂时打开验证块，以确保您的更改不会破坏模型。

港口

输入

全部展开

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

断言检查的输入信号。

数据类型:一半|单|双|int8|int16|int32|int64|uint8|uint16|uint32|uint64|布尔|不动点|枚举

参数

全部展开

`启用断言`—启用或禁用检查
`在`(默认)|`从`

清除此复选框将禁用该块，并导致模型表现得好像该块不存在一样。你可以设置模型验证块启用在配置参数中设置，以启用或禁用模型中的所有模型验证块，而不考虑该选项的设置。

命令行信息

参数:启用

类型:特征向量

价值观:“上”|“关闭”

默认值:“上”

`断言失败时的模拟回调(可选)`-当断言失败时要计算的表达式
`' '`(默认)| MATLAB表达式

指定一个MATLAB表达式，以便在断言失败时求值。因为表达式是在MATLAB工作空间中求值的，所以在该工作空间中定义表达式中使用的所有变量。

命令行信息

参数:回调

类型:特征向量

价值观:MATLAB的表情

默认值:' '

`断言失败时停止模拟`—检查失败时停止模拟
`在`(默认)|`从`

选中此复选框表示当检查失败时，块将停止模拟。清除表示软件显示警告并继续模拟。

命令行信息

参数:stopWhenAssertionFail

类型:特征向量

价值观:“上”|“关闭”

默认值:“上”

`样品时间`—将采样时间指定为非`1`
`1`(默认)|标量|向量

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

依赖关系

这个参数是不可见的，除非它被显式地设置为一个值1。要了解更多信息，请参见不推荐采样时间的块。

编程使用

块参数:SampleTime

类型:特征向量

价值观:标量或向量

默认值:' 1 '

块特征

数据类型	`布尔`\|`双`\|`不动点`\|`一半`\|`整数`\|`单`
直接引线	`没有`
多维信号	`是的`
适应信号	`没有`
讨论二阶导数过零检测	`没有`

扩展功能

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

有关如何金宝app^®编码器™生成的代码处理模型验证块，请参阅配置调试型号(金宝app仿真软件编码器)。

不建议用于生产代码。

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

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

高密度脂蛋白架构

该块可用于仿真时检查输入信号是否为零，但不包含在硬件实现中。

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

定点转换
使用定点设计器™设计和模拟定点系统。

另请参阅

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

R2006a之前引入

断言

描述

港口