开放验证方法学的应用研究

《开放验证方法学的应用研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西安电子科技大学学位论文独创性声明秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均己在论文中做了明确的说明并表示了谢意。申请学位论文与资料若有不实之处，本人承担一切法律责任。本人签名：圣题关于论文使用授权的说明本人完全了解西安电子科

2、技大学有关保留和使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容，可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证，毕业后结合学位论文研究课题再撰写的文章一律署名单位为西安电子科技大学。(保密的论文在解密后遵守此规定)本学位论文属于保密，在年解密后适用本授权书。本人签名：!l堡日期：望!!：!：!!导师签名：日期：塑!!：!：!兰摘要随着集成电路技术的飞速发展，集成电路规模

3、的迅速扩大，数字集成电路设计与验证工作正面临着越来越多的挑战。芯片的功能验证，在芯片的开发周期和工作量中，其占据的比例甚至超过了设计工作。因此，对验证方法的充分研究，对提高验证质量和效率有着重要意义的。论文在分析集成电路开发流程以及相应工具的基础上，讨论了功能性验证的重要性、面临的挑战和业界主流的验证方法学的发展历史沿革，阐明了验证方法学发展的重要性和必要性。对比分析了两种主流的验证手段一直接测试和随机测试，给出了覆盖率驱动的验证思路。详细分析了基于覆盖率的开放验证方法学OVM的构成、类库及OVC，基于

4、分块验证的思想对OVC进行类型划分，以及对interfaceOVC的功能和作用做相应的分析，给出了OVM验证方法学中的检验方式、断言的控制方法、激励的产生和环境的例化方式。论文从可复用的角度分析讨论了OVM方法学的关键特性，基于OVM的验证平台中检测方式，以及搭建验证平台过程中的可复用、可配置性，给出了对应的解决方法，研究了OVM平台中OVC的可复用性，其纵向集成的出发点和解决方法。针对XBUS总线，搭建了OVM验证平台，给出了验证结果并给予分析。最后实现了从OVM验证方法学平台到UVM验证方法学平台的

5、转换。本文还讨论了OVM验证方法学与UVM验证方法学的联系。对目前的验证技术的发展做了总结，并为之后的验证发展方向做了前瞻性展望。关键词：集成电路功能验证开放验证方法学OVCAbstractInnowadays，integratedcircuitdesignandverificationtechnologyarefacingmorcandmorechallengeswiththerapiddevelopmentofintegratedcircuittechnology,therapidexpansion

6、oftheintegratedcircuitandtheincreaseddemandforavarietyofcomplexfunctionsfrompeople．Aboutthechipdevelopmentcycleandworkload，theproportionoccupiedbyfunctionalverificationisevenmorethanthedesign．It’SimportanttostudytheverificationandmethodologytoimproveVeri

7、ficationefficiency．nlisthesisstartsfromthechipdevelopmentprocess，integratedcircuitdevelopmentprocess，andtheanalysisanddiscussionoftheimportanceoffunctionalverificationandauthenticationmethodsoftheindustry’Smainstream．Itdiscussedtheimportanceandnecessityo

8、fthedevelopmentoftheverificationmethodology,笛wellasitsdevelopmentandhistory．nledirectandrandomtestandtheiradvantagesarediscussed嬲thetwomainmearlsofverificationandanalysisarefinishedoftheOpenVerificationMethodologyOVMbasedo