当前位置:主页 > 科技论文 > 计算机论文 >

基于UVM的CAN总线控制器的验证方法研究

发布时间:2020-06-22 20:13
【摘要】:随着SoC的设计复杂程度不断增加,芯片从设计到投入市场需要的时间越来越长,而市场则需要芯片尽快的投入市场,二者之间的矛盾日益加剧,在如今,芯片的功能验证已经成为集成电路设计面临的严峻挑战,使用传统的验证方法,由于无法遍历到所有可能性情况,会存在一些无法预知的漏洞。针对此问题,以SystemVerilog为基础的UVM验证平台作为一种新兴的验证方案,具有能够产生随机受约束的激励、自动收集覆盖率、分析验证结果和可重用性强等功能,相比传统的验证方案,有着明显的随机性验证和效率的提升,能够有效的查找设计问题,缩短芯片生产周期。本文以CAN总线控制器验证为研究背景,基于UVM验证方法学,采用SystemVerilog语言完成了研究对象的验证工作。本文具体研究成果如下:完成了CAN总线控制器待测电路的验证点的分解,待测电路包含标准模式和扩展模式两个工作状态,基于直接验证思维,根据其总线架构、寄存器参数配置、工作原理和报文传输的流程,在基于CAN2.0协议的基础之上完成验证点的分解。本文依据两种不同的模式情况,将验证点主要分解为发送接收状态、发送接收中断、数据溢出、仲裁捕获、错误检测、寄存器复位值及读写验证、采样多次以及状态验证等功能。完成待测电路的UVM验证平台开发,基于验证点的分解,首先对UVM验证平台进行了架构设计,主要包括监控器monitor、驱动driver、计分板scoreboard、参考模型referencemodel等组件的设计与具体实现方案,同时应用了sequence机制、phases机制、factory机制诸多关键机制,确保UVM验证平台的可重用性,最后据此搭建了具有随机约束激励和功能覆盖率收集的UVM验证平台,基于已分解而成的验证功能点编写测试用例,通过测试用例启动平台进行仿真,完成CAN总线控制器的模块级验证,使得待验证的设计功能运行正常并且符合设计规范。对验证过程进行了验证完备性的分析,其中包括功能覆盖率的收集和代码覆盖率的收集以及缺陷率的追踪。本文通过覆盖组(covergroup)的设计进行功能覆盖率的信息收集工作,通过仿真软件实现代码覆盖率的收集工作。其中,功能覆盖率达到100%,总体代码覆盖率达到95.41%(块覆盖率94.38%,表达式覆盖率94.54%,状态机覆盖率98.24%),两个覆盖率均达到规定的验证指标要求,达到了验证的目的和价值。本文缺陷率的追踪主要通过统计工具完成了缺陷率曲线的分析工作以及缺陷种类的分析工作。分析结果显示,本项目缺陷率曲线呈下降的收敛状态,所发现的缺陷种类呈基本缺陷到高级缺陷的转化趋势,达到了验证的质量要求。本文根据UVM验证方法学的结构和特性完成了CAN总线控制器验证平台的搭建,同时使用定向测试和随机测试对模块进行验证,通过NCSim等软件仿真并分析log文件及电路仿真波形图,高效率的完成了DUT电路的验证,总体上使得芯片的验证效率更高,整体缩短的芯片开发周期。
【学位授予单位】:西安电子科技大学
【学位级别】:硕士
【学位授予年份】:2018
【分类号】:TP332.3;TN402
【图文】:

结构图,验证平台,结构图


以便全面了解用户。就像使用 OVM 一样,一个以度量为导向的验证流程中实现的,该流程利试的功能和自动化来确保生产力。 验证平台组件结构当中,所有验证组件都是从这些基类派生的较、复制、打印和报告功能,这是 UVM 的核心功只有两个主要分支。一个是定义验证组件,如驱动验证组件消耗和操作的数据对象。所有测试平台派生,所有数据对象都应该从 uvm_sequence_item了序列的概念,这个概念是设计的实际激励的容中,它将增强重复使用的能力,并以随机顺序驱动证结果。UVM 验证平台结构图 2.5 所示:

代码


图 4.4 interface 部分代码图接口中先后定义时钟 CLK 信号,复位 RST 信号,数据地址复用 AD 信号,片(低有效,读使能),RD(写使能,低有效),WR 地址锁定(下降沿有效),模择(MODE,1=intel 模式,0=motorala 模式)数据发送端口:TX0,TX1。数据端口:RX0,RX1。4.2.2 事务基类 transaction事务基类 transaction 的 CAN 总线验证平台当中传递数据的一部分,是一个抽概念,一般的数据交换是通过定义帧或者包为单位的,一个 transaction 就是一个于 CAN 总线控制器逻辑电路进行通信的时候,数据以信号的形式打入 CAN_D中。transaction 部分设计代码如下,其中 frame_format 是帧的格式(标准模式或展模式),frame_type 是帧的类型(数据帧、远程帧、错误帧),ID 是 29 位的标,data 表示 8 位数据,而 data_size 表示数据大小,crc 校验码为 15 位。

【相似文献】

相关期刊论文 前10条

1 汪晓翔;马琪;;CAN总线控制器IP设计[J];电子科技;2018年10期

2 李振华;;X总线控制器的功能模拟验证[J];微处理机;2013年03期

3 梁立柱;施华君;傅山;;1553B总线控制器双冗余方案的LabView仿真[J];计算机工程;2012年16期

4 李家星;;嵌入式系统和FPGA的总线控制器的设计实现[J];微计算机信息;2007年02期

5 高睿华;;MiL-STD-1553动态总线控制器/远程终端混合线路装置[J];航空计算技术;1987年04期

6 金荣鑫;;MIL-STD-1553可编程双余度远程终端,总线控制器,总线监控器[J];航空计算技术;1989年01期

7 张力;黄栋杉;;单片MIL-STD-1553B总线控制器和远程终端控制器[J];航空电子技术;1989年04期

8 印琴;于宗光;魏敬和;蔡洁明;;消息重试灵活的增强型1553B总线控制器设计[J];微电子学;2014年06期

9 樊彬;唐艺菁;王剑峰;柴波;;一种新型高速1553B总线控制器的应用验证[J];微电子学与计算机;2014年05期

10 张武;;嵌入式单总线控制器设计[J];信息化纵横;2009年12期

相关会议论文 前10条

1 吕良庆;潘俊涛;叶壮;汪大兴;;1553B总线控制器软件在实践5号卫星上的应用[A];中国空间科学学会空间探测专业委员会第十二次学术会议论文集[C];1999年

2 吕良庆;潘俊涛;叶壮;汪大星;;1553B总线控制器软件在实践5号卫星上的应用[A];实践五号卫生空间探测与试验成果学术会议论文集[C];2002年

3 阴江;王晓宇;张娅楠;孙超;连世伟;;高炉自动控制系统Industrial IT Control System AC 800F的概述[A];2010年全国炼铁生产技术会议暨炼铁学术年会文集(下)[C];2009年

4 杨新照;王凌;张凤登;;快速成型在CAN总线控制器上的应用[A];中国仪器仪表学会第六届青年学术会议论文集[C];2004年

5 柴凤萍;张新玉;;1553B总线消息接收处理方法研究[A];第二十五届全国空间探测学术研讨会摘要集[C];2012年

6 赵琰;安军社;;配置项测试自动化在嫦娥一号正样有效载荷总线控制器软件测试中的应用研究[A];中国空间科学学会空间探测专业委员会第十九次学术会议论文集(下册)[C];2006年

7 邓雪杰;张媛媛;;并联挂架发射控制系统研究[A];“测试性与智能测控技术”——2018年中国航空测控技术专刊[C];2018年

8 鞠浩;钱亮;;基于SOPC的1553B总线通用控制器设计与实现[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年

9 刘思久;全宏波;汪秀丰;冯玉贵;张礼勇;;USB-GPIB总线控制器[A];全国第二届总线技术与测控系统工程学术报告会论文集[C];2001年

10 杨海涛;于久恩;祖士珍;胡文华;;PCI总线控制器PCI9030的原理和应用[A];全国第二届总线技术与测控系统工程学术报告会论文集[C];2001年

相关重要报纸文章 前8条

1 记者 赵清月;USB3.0 身未动心已死[N];中国电脑教育报;2008年

2 ;理清电脑的经脉4[N];电脑报;2001年

3 李军;张家港高新技术产值年均递增45%[N];江苏经济报;2006年

4 孙昂 李军;从张家港精神到张家港创造[N];江苏经济报;2006年

5 韩勖;剑指嵌入式[N];计算机世界;2008年

6 吴红萱 孙昂 李军;从“张家港精神”到“张家港创造”[N];中国财经报;2006年

7 佚名;USB 3.0标准有两套?[N];电脑报;2008年

8 姚中利 苗福生 范春荣 吴红萱;可持续发展的后劲在哪里[N];中国财经报;2006年

相关博士学位论文 前1条

1 王永翔;TCN底层协议建模与实现[D];北京交通大学;2009年

相关硕士学位论文 前10条

1 王爽;兼容LM3S9B81微控制器的CAN总线控制器IP设计[D];西安电子科技大学;2018年

2 张明望;基于UVM的CAN总线控制器的验证方法研究[D];西安电子科技大学;2018年

3 汪晓翔;应用于SoC的几种通用串行通信接口设计[D];杭州电子科技大学;2018年

4 李振魏;基于FPGA的LIN总线控制器设计与验证[D];西安电子科技大学;2018年

5 周艺璇;航空用429总线控制器的设计与验证[D];西安电子科技大学;2017年

6 梁立柱;箭用1553B总线控制器双冗余方案研究[D];上海交通大学;2012年

7 赵杰;基于FPGA的1553B总线控制器设计[D];中北大学;2014年

8 江英;基于网络监控的嵌入式总线控制器的设计[D];哈尔滨理工大学;2005年

9 李启鹏;飞机配电系统智能总线控制器的研究设计[D];西北工业大学;2001年

10 蒋俊华;基于FPGA的I~2C总线控制器的设计[D];河南大学;2007年



本文编号:2726181

资料下载
论文发表

本文链接:https://www.wllwen.com/kejilunwen/jisuanjikexuelunwen/2726181.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户910e7***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com