使用模型切片机调试整数溢出设计错误检测

先决条件

这个示例使用以下产品演示调试设计错误检测违反:下载188bet金宝搏

例子

1。开放模式sldvdemo_design_error_detection。

open_system (“sldvdemo_design_error_detection”);

2。开放金宝app仿真软件设计验证器通过点击应用程序>设计验证器。

3所示。在设计验证器选项卡,单击检测设计错误。金宝app仿真软件设计匹配分析模型并显示结果结果总结窗口。

失败的模型强调了子系统的目标。

4所示。开放控制器子系统和选择的块,用红色突出显示。

5。在结果窗口中,点击调试调试违反使用模型切片机。另外,在设计验证器选项卡,单击审查结果>调试使用切片机调试违反使用模型切片机。

在点击入口点的调试,完成以下设置的模型:

6。调试和分析模型通过检查端口标签。

提示:点击和块的输出信号行启用端口值标签。

你可以观察到的和输入变量应该导致一个非零数字。

7所示。调查和块的输入和输出数据类型。

这里,数据类型转换结果的整数溢出。输入的数据类型ufix16_En8最大值为255.9961,而输出块的数据类型sfix16_En8,最高为127.9961。反例的这两个值之间的值。溢出当块之和(不饱和)首先将输入值的输出类型,然后执行算术运算。

验证

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

额外的功能

在本例中您可以使用工作流型调试其他设计错误检测违规使用模型切片机。以下是设计错误支持:金宝app