“设计错误检测”窗格概述

指定用于控制 Simulink^® Design Verifier™ 如何检测其分析的模型中的运行时错误的选项。

缺陷检查器

缺陷检查器可帮助您在整个开发阶段轻松检查组件中是否存在常见和关键的设计错误，例如除以零、整数溢出、死逻辑和数组越界。

死逻辑(部分)

指定是否分析模型以检测死逻辑。这可能会导致部分分析。选择运行穷举分析可始终运行穷举分析。

运行穷举分析

指定是否运行穷举分析以检测模型中的死逻辑。

要分析的覆盖率目标

指定要针对模型中的死逻辑进行分析的覆盖率目标。

越界数组访问

指定是否分析模型以检测越界数组访问错误。

数据存储访问违规

指定是否分析模型以检测数据存储访问违规。设计错误检测会检查与 Data Store Memory 模块相关的以下违规：

除以零

指定是否分析模型以检测除以零错误。

整数溢出

指定是否分析模型以检测整数和定点数据溢出错误。

非有限值和 NaN 浮点值

指定是否分析模型以检测非有限值和 NaN 浮点值。

次正规浮点值

指定是否分析模型以检测次正规浮点值。

指定的最小值和最大值违规

指定是否检查模型中的中间信号和输出信号是否在用户指定的最小值和最大值约束范围内。

指定的模块输入范围违规

指定是否分析模型以检测模块输入范围违规。检查会检测具有以下设置的模块的输入范围违规：

余数和倒数运算的使用 - hisl_0002

指定是否检查导致非有限结果的 rem 和 reciprocal 运算的使用。

这对应于高完整性系统建模的 hisl_0002 检查。有关详细信息，请参阅 hisl_0002：Math Function 模块(rem 和 reciprocal)的使用。

平方根运算的使用 - hisl_0003

指定是否检查输入可能为负值的 Square Root 运算的使用。

这对应于高完整性系统建模的 hisl_0003 检查。有关详细信息，请参阅 hisl_0003: Square Root 模块的使用。

log 和 log10 运算的使用 - hisl_0004

指定是否检查导致非有限结果的 log 和 log10 运算的使用。

这对应于高完整性系统建模的 hisl_0004 检查。有关详细信息，请参阅 hisl_0004: Math Function 模块的使用(自然对数和以 10 为底的对数)。

Reciprocal Square Root 模块的使用 - hisl_0028

指定是否检查输入可能为零或负值的 Reciprocal Square Root 模块的使用。

这对应于高完整性系统建模的 hisl_0028 检查。有关详细信息，请参阅 hisl_0028: Reciprocal Square Root 模块的使用。