检查信号是否落在幅度范围内,从时间步长到时间步长
金宝appSimulink / Model验证
HDL编码器/模型验证
当检查动态范围方框检查该信号在每个时间步骤的值的范围内下降,并且比较之后执行的断言。范围的宽度可能因时间步长而变化。当你端口是测试输入信号。当闵和最大端口分别是范围的下限和上限。如果你是之间的最大和闵,断言是真(1)
并且块没有什么。如果不是,则块会停止模拟并默认返回错误消息。
输入信号可以是标量,向量或矩阵。所有三个输入信号必须是相同的数据类型。该块比较了值你根据信号不同地界定。
当将标量与向量或矩阵进行比较时,块将标量信号与非标量信号的每个元素进行比较。
当将乘法或矩阵信号与其他向量或矩阵进行比较时,块检查输入元素的输入。
对于具有多于一个矢量或矩阵输入信号的模型,向量或矩阵必须具有相同的尺寸。
数据类型 |
|
直接喂养 |
|
多维信号 |
|
可变尺寸信号 |
|
零交叉检测 |
|