使用模型切片机调试整数溢出设计错误检测
这个例子展示了如何使用模型切片机调试整数溢出在仿真软件设计错误®模型。万博1manbetx
先决条件
这个示例使用以下产品演示调试设计错误检测违反:s manbetx 845
万博1manbetx仿真软件设计校验™
万博1manbetx模型检查™(模型切片机)
例子
1。开放模式sldvdemo_design_error_detection
。
open_system (“sldvdemo_design_error_detection”);
2。开放万博1manbetx仿真软件设计验证器通过点击应用程序>设计验证器。
3所示。在设计验证器选项卡,单击检测设计错误。万博1manbetx仿真软件设计匹配分析模型并显示结果结果总结窗口。
失败的模型强调了子系统的目标。
4所示。开放控制器
子系统和选择的块,用红色突出显示。
5。在结果窗口中,点击调试调试违反使用模型切片机。另外,在设计验证器选项卡,单击审查结果>调试使用切片机调试违反使用模型切片机。
在点击入口点的调试,完成以下设置的模型:
所选块添加了一个失败的目标是作为模型切片机的一个起点。
模型是用片突出了失败的目标负责。
设计模型是模拟和停下来的时候违反。
6。调试和分析模型通过检查端口标签。
提示:点击和块的输出信号行启用端口值标签。
你可以观察到的和输入变量应该导致一个非零数字。
7所示。调查和块的输入和输出数据类型。
这里,数据类型转换结果的整数溢出。输入的数据类型ufix16_En8
最大值为255.9961,而输出块的数据类型sfix16_En8
,最高为127.9961。反例的这两个值之间的值。溢出当块之和(不饱和)首先将输入值的输出类型,然后执行算术运算。
验证
确认整数溢出错误解决了,在设计验证器选项卡上,单击检测设计错误。分析完成后,软件报告说,所有的目标都是有效的。
额外的功能
在本例中您可以使用工作流型调试其他设计错误检测违规使用模型切片机。以下是设计错误支持:万博1manbetx
除零
整数溢出
Non-Finate和NaN(不是一个数字)浮点值
指定最小值和最大值
数据存储访问违规
指定块的输入范围违反