检查动态下界
检查一个信号是否总是小于另一个信号
- 库:
金宝appSimulink /模型验证
HDL编码/模型验证
描述
的检查动态下界Block检查是否有参考信号,最小值,小于输入信号的幅值,u并在比较后执行断言。如果最小值小于u,则断言为真正的(1)
方块什么也不做。如果不是,块将停止模拟并默认返回错误消息。
输入信号可以是标量、向量或矩阵。两个输入信号必须是相同的数据类型。的值进行比较u根据信号的不同,得到不同的边界。
当标量与向量或矩阵比较时,块将标量信号与非标量信号的每个元素进行比较。
当将一个向量或矩阵信号与另一个向量或矩阵信号进行比较时,块逐个元素检查信号。
对于输入和边界都是向量或矩阵的模型,输入和边界必须具有相同的维数。
港口
输入
输出
参数
模型的例子
块特征
数据类型 |
|
直接引线 |
|
多维信号 |
|
适应信号 |
|
讨论二阶导数过零检测 |
|