检查静态下界
检查信号大于(或可选地等于)静态下界
- 库:
Simulink /模型验证
HDL编码器/模型验证
描述
的检查静态下界Block在每个时间步检查输入信号是否大于(或可选等于)指定的下界,并在比较后执行断言。的下界参数定义下界。如果输入信号大于下界,则断言为真正的(1)
block什么也不做。如果不是,块停止模拟并默认返回一个错误消息。
输入信号和界可以是标量、向量或矩阵。输入和绑定必须是相同的数据类型。该块根据信号的不同将输入值与边界进行不同的比较。
当标量与向量或矩阵比较时,块将标量与非标量输入信号或边界的每个元素进行比较。
当将一个向量或矩阵输入信号与一个向量或矩阵绑定进行比较时,块将输入信号与绑定的元素逐一进行比较。
对于输入信号和边界都是向量或矩阵的模型,输入信号和边界必须具有相同的维数。
港口
输入
输出
参数
模型的例子
块特征
数据类型 |
|
直接引线 |
|
多维信号 |
|
适应信号 |
|
讨论二阶导数过零检测 |
|
扩展功能
版本历史
R2006a之前介绍过