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