断言

检查是否信号为零

  • 库:
  • 万博1manbetxSimulink /模型验证

    HDL编码器/模型验证

描述

断言块检查是否有任何输入信号的元素为零。如果所有元素都为零,块什么都不做。如果任何元素是零,则停止块的仿真,在默认情况下,并显示一个错误消息。使用块参数对话框:

  • 指定该块时断言失败,但是允许模拟继续显示一条警告消息。

  • 指定一个MATLAB®当断言失败时要计算的表达式。

  • 启用或禁用断言。

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

港口

输入

全部展开

输入信号到断言检查。

数据类型:||int8|INT16|int32|int64|uint8|uint16|uint32|uint64|布尔|固定点|枚举

参数

全部展开

清除此复选框将禁用该块,并导致模型的行为好像该块不存在一样。您可以设置模型验证模块启用在配置参数中设置启用或禁用模型中的所有模型验证块,而不管此选项的设置如何。

命令行信息

参数:启用
类型:特征向量
价值观:“上”|“关闭”
默认值:“上”

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

命令行信息

参数:打回来
类型:特征向量
价值观:MATLAB表达
默认值:' '

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

命令行信息

参数:stopWhenAssertionFail
类型:特征向量
价值观:“上”|“关闭”
默认值:“上”

将示例时间指定为-1以外的值。有关更多信息,请参见指定样品时间

依赖关系

除非显式地将此参数设置为其他值,否则此参数是不可见的-1。想了解更多,请看不建议使用采样时间的块

编程使用

块参数:SampleTime
类型:特征向量
价值观:标量或矢量
默认值:' 1 '

块特性

数据类型

布尔||固定点|整数|

直接馈通

没有

多维信号

是的

适应信号

没有

讨论二阶导数过零检测

没有

扩展功能

PLC的代码生成
使用Simulink®PLC Coder™生成结构化文本代码。万博1manbetx

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

R2006a前推出