主要内容

检测非有限、NaN和次浮点值

要检测模型中出现的非有限、NaN和次标准浮点值:

  1. 设计验证器选项卡,在模式部分中,选择设计错误检测

  2. 点击错误检测设置

  3. 2 .在“配置参数”对话框中,单击设计错误检测面板:

    1. 选中的复选框非有限和NaN浮点值

    2. 选中的复选框次标准浮点值

    3. 若要应用这些设置,请单击好吧并关闭“配置参数”对话框。

  4. 点击检测设计错误

金宝app®设计验证器™分析模型以检测出现的非有限、NaN和次正规浮点值。

分析完成后:

  • 软件用分析结果突出显示模型。

  • “结果摘要”窗口显示分析的摘要。

假设和限制

当您分析模型并选择时非有限和NaN浮点值,该软件假定浮点输入值和可调参数值是有限的。

当您分析模型并选择时次标准浮点值时,软件假定浮点输入值和可调参数值正常。

与使用单精度浮点信号的类似模型相比,使用双精度浮点信号的模型需要更多的时间进行分析。因此,使用双精度浮点信号的模型可能会超时,而使用单精度浮点信号的类似模型则会完成分析。要提高分析性能,请考虑指定模拟根级环境约束的最小值和最大值轮廓尺寸块。

如果模型包含浮点信号和多字定点信号之间的强制转换操作,分析可能无法确定所有目标。

运行设计错误检测分析来检测浮点错误

类中的非有限、NaN和次正规浮点值,此示例演示如何检测sldvexFloatingPointErrorChecks模型的例子。该模型由导致错误的浮点算术操作组成。进行设计错误检测分析,以检测模型中的这些错误。

1.打开模型

这个示例模型由处理浮点计算的Add和Divide块组成。设计错误检测分析检测模型中出现的浮点错误,并报告结果。

open_system (“sldvexFloatingPointErrorChecks”);

2.执行设计错误检测分析

模型预配置为非有限和NaN浮点值次标准浮点值选项设置为.有关更多信息,请参阅设计验证器窗格:设计错误检测

进行设计错误检测分析,对设计验证器选项卡,在模式部分中,选择设计错误检测.点击检测设计错误

该软件分析模型的浮点错误,并在“结果摘要”窗口中显示结果。结果表明:46目标被证伪了。

3.回顾分析结果

点击。突出模型的分析结果.导致浮点错误的模型块用红色突出显示。

b.单击添加块以红色突出显示。结果检查器显示浮点错误目标的摘要。

c.单击部门块以红色突出显示。结果检查器显示浮点错误目标的摘要。

4.查看详细分析报表

在“结果汇总”窗口中,单击,查看详细的分析报表超文本标记语言.该报告显示模型中所有浮点错误发生的摘要。

5.清理

要完成此示例,请关闭模型。

close_system (“sldvexFloatingPointErrorChecks”, 0);

相关的话题