欢迎来到天天文库
浏览记录
ID:38265135
大小:169.97 KB
页数:6页
时间:2019-05-26
《结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、http://www.elecfans.com电子发烧友http://bbs.elecfans.com电子技术论坛结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用陈辉申敏刘树军(重邮信科3G研究院,重庆400065)摘要本文首先介绍RVM验证方法学和覆盖率驱动技术,然后详细分析如何使用结合覆盖率驱动技术的RVM验证方法学对SOC(SystemOnChip)进行完备的功能验证,最后探讨如何利用此方法学提高验证的效率。关键词:SOC,被验证模块,功能模块,RVM验证方法学,RVM验证平台,覆盖率驱动中图分类号:TN407文献标识码
2、:A基金资助:TD--SCDMA手机关键技术的研究与应用编号:2004AA001390TheApplicationofReferenceVerificationMethodologycombinedCoverage-DrivenTechnologyinSOCVerificationChenHuiShenMinLiuShujun(ChongYouInformationTechnology3GResearchCenter,ChongQing,400065)AbstractThispaperfirstlyintroducesReferenc
3、eVerificationMethodologyandCoverage-DrivenTechnology,thendescribeshowtousetheReferenceVerificationMethodologycombinedCoverage-DrivenTechnologytodoacompleteverificationandimproveverificationefficiency.KeyWords:SOC(SystemOnchip),DUT(DesignUnderTest),FunctionalModule,Refer
4、enceVerificationMethodology,RVMTestBench,Coverage-Driven1.引言随着SOC设计复杂度的不断提高和设计规模的不断增大,验证已成为SOC设计的瓶颈。由于验证的不充分,流片后的芯片中可能存在致命缺陷,从而增加了设计的风险和设计重流片的成本。因此验证越来越受到重视[5]。在验证过程中,验证方法学扮演越来越重要的角色,高效的验证方法学可以提高验证的效率,加快验证的进程。传统的验证方法学对于验证复杂的设计已经显得力不从心,如何用最少的时间最少的物力去尽可能多的发现设计中存在的缺陷,需要引入新
5、的验证方法学。目前,RVM(ReferenceVerificationMethodology)验证方法学脱颖而出,它是基于分层结构验证方法学,通过将验证平台分成功能不同的几个层面,提高验证平台的重用性和抽象层次,更好的支持了激励随机产生,结果自动检查,覆盖率驱动等技术。覆盖率是验证的核心。通过对覆盖率分析,才能确定验证平台是否对设计进行了完备的验证。覆盖率达到了我们预期的目标是验证是否完成的重要量化标准之一。覆盖率驱动技术是指以覆盖率的提高为目的来引导编写高效的测试例和测试平台。因此结合覆盖率驱动技术的RVM验证方法学应用于SOC的验
6、证过程中,将大大提高验证的效率。2.RVM(ReferenceVerificationMethodologies)验证方法学概述RVM验证方法学的关键就是验证平台的分层结构。分层结构的思想让验证工程师不再关http://www.elecfans.com电子发烧友http://bbs.elecfans.com电子技术论坛心DUT(DesignUnderTest)的具体实现,只需从DUT的设计文档中抽象出DUT的所需激励和输入输出端口,以及输入输出的时序就能进行验证平台的设计,并且设计出的验证平台结构性强,易于重用。分层结构如图1,主要包
7、括5层:[1][2]图1:RVM分层结构在此分层结构中,各层完成不同的功能,层与层之间互相联系,下层为上层提供服务。Signal层定义了验证平台与DUT端口信号的连接(Interface-Connection)。Command层包括驱动器(Driver)和监听器(Monitor),这一层通过对象接口(object-interface)与高层组件(component)连接,同时通过signal层提供的连接直接与DUT的端口信号联系。Functional层主要包括处理器(Transactor)和检查器(Checker),处理器主要用于处理
8、高层的事物对象(transaction),一般用于验证具有协议结构的DUT;检查器用于检查DUT的输出是否正确。Generation层包括产生器(Generator),产生器随机产生事物对象,并将产生的事物对象通过对象接
此文档下载收益归作者所有