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