主要内容

模型验证

自验证模型的块,例如检查输入分辨率

断言 检查信号是否为零
检查动态差距 检查可能在信号振幅范围内发生不同宽度的差距是否发生
检查动态范围 检查信号在时间步长而变化的振幅范围内
检查静态间隙 检查差距是否存在于信号的振幅范围中
检查静态范围 检查信号属于振幅的固定范围内
检查离散梯度 检查离散信号连续样本之间差异的绝对值小于指定值
检查动态下限 检查一个信号总是小于另一个信号
检查动态上限 检查一个信号总是大于另一个信号
检查输入分辨率 检查输入信号是否指定了分辨率
检查静态下限 检查信号大于(或选择等于)静态下限
检查静态上限 检查信号小于(或选择等于)静态上限