7. 模型检测模块（Model Verification）
在Simulink基本模块中选择“Model Verification”后，单击便看到如图6.21所示的查找表模块，它包括以下子模块。
● Assertion：确定操作；
● Check Discrete Gradient：检查离散梯度；
● Check Dynamic Gap：检查动态偏差；
● Check Dynamic Lower Bound：检查动态下限；
● Check Dynamic Range：检查动态范围；
● Check Dynamic Upper Bound：检查动态上限；
● Check Input Resolution：检查输入精度；
● Check Static Gap：检查静态偏差；
● Check Static Lower Bound：检查静态下限；
● Check Static Range：检查静态范围；
● Check Static Upper Bound：检查静态上限。
8. 模型扩充模块（Model-Wide Utilities）
在Simulink基本模块中选择“Model-Wide Utilities”后，单击便看到如图6.22所示的查找表模块，它包括以下子模块。● Block Support Table：功能块支持的表；
● DocBlock：文档模块；
● Model Info：模型信息；
● Time-Based Linearization：时间线性分析；
● Trigger-Based Linearization：触发线性分析；
