修复模型中的设计错误

修改模型参数以修复错误

要修复错误，请将累加器数据类型和输出数据类型参数更改为 uint16，以处理可能的信号值范围。

打开 sldvexDetectDesignErrorsExample 模型：

open_system("sldvexDetectDesignErrorsExample");

双击 Sum 模块，并在“模块参数”对话框中将累加器数据类型和输出数据类型设置为 uint16。

点击应用和确定，以保存更改。

重新运行分析。

运行设计错误检测分析以查看您是否解决了错误。在 Design Verifier 选项卡上，点击检测设计错误。“结果摘要”窗口会报告六个目标（总共六个）均有效。

当您对 Sum 模块的测试用例进行仿真时，可以观察到测试用例解决了错误。

在“结果摘要”窗口中，点击 HTML 查看详细分析报告。软件会生成详细分析报告，该报告会在 MATLAB® 编辑器中打开。对于 sldvexDetectDesignErrorsExample 模型，报告的“设计错误检测目标状态”章节会提供目标有效的详细结果，显示未产生错误的模型对象。