检查信号是否大于(或可选等于)静态下限
金宝appSimulink /模型验证
HDL编码器/模型验证
的检查静态下界块检查输入信号是否在每个时间步长大于(或可选等于)指定的下界,并在比较后执行断言。的下界参数定义下界。如果输入信号大于下界,则断言为真正的(1)
block什么也不做。如果不是,则默认情况下,该块将暂停模拟并返回一个错误消息。
输入信号和界限可以是标量、向量或矩阵。输入和绑定必须是相同的数据类型。块根据信号的不同将输入值与界限进行不同的比较。
当将标量与向量或矩阵进行比较时,块将标量与非标量输入信号或边界的每个元素进行比较。
当将一个向量或矩阵输入信号与一个向量或矩阵绑定比较时,块将输入信号与绑定的元素逐个进行比较。
对于输入信号和边界都是向量或矩阵的模型,输入信号和边界必须具有相同的维数。
数据类型 |
|
直接引线 |
|
多维信号 |
|
适应信号 |
|
讨论二阶导数过零检测 |
|