模型校验库

校验模块库的特点是校验出失败情况后可以直接停止仿真。

1 动静态校验模块

第一个模块是下限校验，第二个模块是上限校验，第三个模块是上下限校验，第四个模块是区间校验，当模块落在图中的灰色区域，表示运行错误，此时会根据设置停止仿真或者输出0，没有落在灰色区域输出1。第二行的功能与第一行是一样的，只是上下限是通过输入传进模块的，可以是动态的上下限。

2 其余校验模块

这个模块常用于AD转换时的校验，将模拟信号转换成数字信号的分辨率为,X是输入的模拟信号，n是数字信号的位数。将分辨率输入该模块进行校验。