检测非有限、NaN和次浮点值
检测模型中出现的非有限浮点值、NaN浮点值和次浮点值:
在设计验证器选项卡,模式部分中,选择设计错误检测.
点击错误检测设置.
在“配置参数”对话框中,输入设计错误检测面板:
选中的复选框非有限和NaN浮点值.
选中的复选框低于正常的浮点值.
要应用这些设置,请单击好吧关闭“配置参数”对话框。
点击检测设计错误.
动态仿真模块®设计验证器™分析模型以检测非有限、NaN和次浮点值的出现。
分析完成后:
软件用分析结果对模型进行高亮显示。
“结果摘要”窗口显示分析的摘要。
假设和限制
当您分析一个模型并选择非有限和NaN浮点值,软件假定浮点输入值和可调参数值是有限的。
当您分析一个模型并选择低于正常的浮点值,软件假定浮点输入值和可调参数值正常。
使用双精度浮点信号的模型要比使用单精度浮点信号的类似模型花费更多的时间进行分析。因此,使用双精度浮点信号的模型可能会超时,而使用单精度浮点信号的类似模型则会完成分析。要提高分析性能,请考虑指定模拟根级环境约束的最小值和最大值轮廓尺寸块。
如果模型包含浮点信号和多字定点信号之间的强制转换操作,则分析可能无法决定所有目标。
运行“设计错误检测分析”来检测浮点错误
类中的非有限浮点值、NaN浮点值和次浮点值sldvexFloatingPointErrorChecks
模型的例子。该模型由会导致错误的浮点算术操作组成。执行设计错误检测分析,以检测模型中的这些错误。
1.打开模型
这个示例模型由处理浮点计算的Add和Divide块组成。设计错误检测分析检测模型中出现的浮点错误并报告结果。
open_system (“sldvexFloatingPointErrorChecks”);
2.执行设计错误检测分析
模型预先配置为非有限和NaN浮点值而且低于正常的浮点值选项设置为在.有关更多信息,请参见设计验证器窗格:设计错误检测.
进行设计误差检测分析设计验证器选项卡,模式部分中,选择设计错误检测.点击检测设计错误.
该软件分析浮点错误模型,并在“结果汇总”窗口中显示结果。结果表明:4
的6
目标是伪造的。
3.回顾分析结果
点击。突出模型的分析结果.导致浮点错误的模型块用红色突出显示。
b。单击添加块用红色突出显示。结果检查器显示浮点错误目标的摘要。
c。单击部门块用红色突出显示。结果检查器显示浮点错误目标的摘要。
4.查看详细分析报表
在“结果汇总”窗口中,单击,可查看详细的分析报告超文本标记语言.该报告显示模型中出现的所有浮点错误的摘要。
5.清理
要完成此示例,请关闭模型。
close_system (“sldvexFloatingPointErrorChecks”, 0);