Main Content

检查除以零计算

检查 ID：mathworks.hism.hisl_0067

描述

标识可能导致除以零计算的模块。

Simulink® Check™ 附带。

此检查需要 Simulink Design Verifier™ 许可证。

注意：此检查将对模型执行 SLDV 分析。

结果和建议的操作

条件建议采取的操作
模型中的一个或多个模块可能导致除以零计算。重新建模以避免除以零计算。

功能和限制

  • 对库模型运行。

  • 分析封装子系统中的内容。默认情况下，将输入参数 Look under masks 设置为 all。

  • 分析库链接模块的内容。默认情况下，将输入参数 Follow links 设置为 on。

  • 允许排除模块和图。

另请参阅