主要内容

模型验证

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

断言 检查信号是否为零
检查动态差距 检查在信号振幅范围内可能变化宽度的间隙
检查动态范围 检查信号落在随时间步长变化的振幅范围内
检查静态差距 检查间隙是否存在于信号的振幅范围内
检查静态范围 检查信号是否在固定的振幅范围内
检查离散梯度 检查离散信号的连续采样之间的差的绝对值小于规定的值
检查动态下界 检查一个信号总是小于另一个信号
检查动态上界 检查一个信号总是大于另一个信号
检查输入的决议 检查输入信号是否具有指定的分辨率
检查静态下界 检查信号是否大于(或可选地等于)静态下界
检查静态上限 检查信号是否小于(或可选地等于)静态上限