什么是设计错误检测?
设计误差检测是一项万博1manbetx®设计验证器™检测以下类型错误的分析模式:
死的逻辑
超出绑定数组访问
整数或定点数据溢出
除零
浮点数使用错误(
正
/南和弱智者)在规定的最小值和最大值之外的中间信号值
数据存储访问违规
指定块输入范围违规
高完整性系统建模检查
在模拟模型之前,请在设计错误检测模式下分析模型,以查找和诊断这些错误。设计错误检测分析确定了导致错误的条件,帮助您识别可能的设计缺陷。设计错误检测分析还计算块输出端口和状态流可能出现的信号值的范围®模型中的本地数据。
具有决策或条件结果的模型对象接受死逻辑检测。
分析之后,您可以:
单击单个块以查看该块的分析结果。
创建一个包含演示错误的测试用例的控制模型。
创建一个包含整个模型详细结果的分析报告。