查看设计错误检测分析结果
当设计错误检测分析完成后：
Simulink® Design Verifier™ 会突出显示模型以及分析结果。
“Simulink® Design Verifier™ 结果摘要”窗口会打开，显示分析摘要。
在模型上突出显示分析结果
当设计错误检测分析完成后，模型 sldvexDetectDesignErrorsExample 中会自动突出显示结果。
1.选择 Sum 模块。“结果”窗口显示 Sum 模块的整数溢出目标。
2.要调试整数溢出错误，请点击查看反例。框架模型 sldvexDetectDesignErrorsExample_harness 和 Inputs 模块的“模块参数”对话框将打开。
3.在“模块参数”对话框中，从激活场景列表中选择 Counterexample_3。点击应用。
框架模型中的 Input 模块将 Counterexample_3 表示为激活场景。
4.双击 Inputs 模块以打开“模块参数”对话框。
5.在“模块参数”对话框中，点击 
中的“打开信号编辑器”按钮，以可视化这些场景。
当 CounterExample_3.SensorA 的输入值为 96，CounterExample_3.SensorB 的输入值为 160 时，Sum 模块输出溢出。Sum 模块的累加器数据类型设置为不正确的类型 uint8，这会导致下游 Divide 模块出现溢出错误和除以零错误。
查看设计错误检测分析报告
要查看 HTML 设计错误检测分析报告，请在“结果摘要”窗口中点击 HTML。HTML 报告将在 MATLAB® 编辑器中打开。该报告的“设计错误检测目标”部分列出了每个模型项目的目标及其描述。
分析报告显示，三个目标有效，另外三个目标通过反例被证伪。
