步骤1:打开模型

在命令提示符处，输入:

open_system (“sldvdemo_design_error_detection”)；

步骤2:执行设计错误检测分析

该模型预先配置了整数溢出在“配置参数”对话框中启用的设计验证器>设计错误检测窗格。

在设计验证器选项卡上,单击检测设计错误．

该软件分析了整数溢出错误的模型。在分析完成后，Results Summary窗口报告五个目标是有效的，两个目标是伪造的。

步骤3:回顾分析结果

要突出显示模型上的分析结果，在results Summary窗口中，单击突出模型的分析结果．有效的目标用绿色突出显示，而虚假的目标用红色突出显示。

双击控制器子系统。单击以红色突出显示的Sum块。“结果检查器”窗口显示整数溢出目标。

要查看导致错误的测试用例，单击查看测试用例．脊束模型打开，Signal Builder块显示导致错误的测试用例。

步骤4:修复整数溢出错误

对于生成整数溢出的两个Sum块，启用整数溢出饱和选择。或者，您可以双击在溢出时切换饱和度按钮。金宝app

要确认整数溢出错误已解决，请在设计验证器选项卡上,单击检测设计错误．在分析完成后，软件报告所有的目标都是有效的。

相关的话题