参考视频：simulink1.1simulink简介_哔哩哔哩_bilibili
一、模型校验库中的模块概览
二、动静态校验模块
1、Check Static Lower Bound静态下限校验模块和Check Dynamic Lower Bound动态下限校验模块
（1）使用下限校验模块需要设置检测下限，这个下限可以从外部输入（对应动态下限校验模块），也可以在模块中配置（对应静态下限校验模块）。
（2）静态下限校验模块功能介绍：
①可选择是否包含边界，如果选择包含边界，当输入信号大于等于下限时，仿真能够正常进行，当输入信号小于下限时，仿真能否继续进行将取决其它选项。
②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。
③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。
（3）动态下限校验模块功能介绍：
①固定选择包含边界，当输入信号大于等于下限时，仿真能够正常进行，当输入信号小于下限时，仿真能否继续进行将取决其它选项。
②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。
③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。
2、Check Static Upper Bound静态上限校验模块和Check Dynamic Upper Bound动态上限校验模块
（1）使用上限校验模块需要设置检测上限，这个上限可以从外部输入（对应动态上限校验模块），也可以在模块中配置（对应静态上限校验模块）。
（2）静态上限校验模块功能介绍：
①可选择是否包含边界，如果选择包含边界，当输入信号小于等于上限时，仿真能够正常进行，当输入信号大于上限时，仿真能否继续进行将取决其它选项。
②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。
③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。
（3）动态上限校验模块功能介绍：
①固定选择包含边界，当输入信号小于等于上限时，仿真能够正常进行，当输入信号大于上限时，仿真能否继续进行将取决其它选项。
②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。
③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。
3、Check Static Range静态范围校验模块和Check Dynamic Range动态范围校验模块
（1）使用范围校验模块需要设置检测上限和检测下限，它们均可以从外部输入（对应动态范围校验模块），也可以在模块中配置（对应静态范围校验模块）。
（2）静态范围校验模块功能介绍：
①可选择是否包含边界，如果选择包含边界，那么允许区间为闭区间，当输入信号落在闭区间内时，仿真能够正常进行，否则仿真能否继续进行将取决其它选项。
②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。
③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。
（3）动态范围校验模块功能介绍：
①固定选择包含边界，当输入信号落在闭区间内时，仿真能够正常进行，否则仿真能否继续进行将取决其它选项。
②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。
③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。
4、Check Static Gap静态界限校验模块和Check Dynamic Gap动态界限校验模块
（1）使用界限校验模块需要设置检测上限和检测下限，它们均可以从外部输入（对应动态范围校验模块），也可以在模块中配置（对应静态范围校验模块）。
（2）静态界限校验模块功能介绍：
①可选择是否包含边界，如果选择包含边界，那么禁止区间为闭区间，当输入信号落在闭区间外时，仿真能够正常进行，否则仿真能否继续进行将取决其它选项。
②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。
③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。
（3）动态界限校验模块功能介绍：
①固定选择包含边界，当输入信号落在闭区间外时，仿真能够正常进行，否则仿真能否继续进行将取决其它选项。
②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。
③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。
三、其余校验模块
1、Assertion断言模块
（1）当输入的信号不含零值时，该模块认为校验通过，否则校验不通过（对于矩阵或者总线信号，只要其中含零值，校验也会不通过）。
（2）可以选择是否开启校验。
2、Check Discrete Gradient离散梯度校验模块
（1）对于输入信号，如果两个相邻采样点差值的绝对值小于设定的上限（最大梯度），则离散梯度校验模块认为校验通过，否则校验不通过。
（2）下例中离散梯度校验模块的最大梯度设置为0.5，方波的幅值为1，方波跳变时，其前后两个采样点差值的绝对值大于设定的上限，离散梯度校验模块输出逻辑假，其余时刻均输出逻辑真。
3、Check Input Resolution输入分辨率校验模块
（1）该模块的作用是校验输入信号具有指定的分辨率，如果分辨率是标量，则输入信号必须在10e-3容差内是分辨率的倍数，如果分辨率是向量，则输入信号必须等于分辨率向量的任一元素，否则均无法通过校验。
（2）下例中前两个输入分辨率校验模块的分辨率如上图所示，第三个输入分辨率校验模块的分辨率为12/(2^8-1)。
272
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
