基于systemverilog语言功能验证平台的研究和的应用

《基于systemverilog语言功能验证平台的研究和的应用》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号学号641850200671884学校代码10487密级硕士学位论文基于SystemVerilog语言功能验证平台的研究与应用学位申请人：蔡贤栋学科专业：微电子学与固体电子学指导教师：雷鑑铭副教授答辩日期：2008年5月AThesisSubmittedinPartialofFulfillmentoftheRequirementsfortheDegreeofMasterofEngineeringResearchandApplicationofFunctionalTestbenchBasedonSystemVerilogLanguageCandidate:CaiXiando

2、ngMajor:MicroelectronicsandSolidStateElectronicsSupervisor:AssociateProf.LeiJianmingHuazhongUniversityofScience&TechnologyWuhan430074,P.R.ChinaMay,2008独创性声明本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除文中已经标明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写过的研究成果。对本文的研究做出贡献的个人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承

3、担。学位论文作者签名：日期：年月日学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，即：学校有权保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。本人授权华中科技大学可以将本学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。保密□，在____________年解密后适用本授权书。本论文属不保密□。（请在以上方框内打“√”）学位论文作者签名：指导教师签名：日期：年月日日期：年月日摘要全面快速的设计验证是芯片设计成功的关键所在，当前业界在验证方面关注的焦点是功能验证。但是随着

4、芯片的功能越来越多，结构越来越复杂，导致验证的工作量大大增加，当人们用传统的验证工具和方法难以按时完成验证工作时，就出现了所谓“验证危机”。为了适应这种形势，芯片验证的工具和方法正在发生迅速而深刻的变革。现在基于RTL（RegisterTransmitLevel）语言的验证方法正在向基于系统级语言的验证方法过渡，导致了高级验证语言的出现和标准化，基于高级验证语言的验证方法学逐渐成为解决众多验证问题的一条有希望的途径。本论文的工作重点就是通过研究基于高级验证语言的验证方法学，提出一种基于高级验证语言并综合利用直接测试、约束随机测试、面向对象编程、层次化设计、覆盖驱动验证和基于断

5、言的形式化属性检查验证等多种验证技术的事务级验证方法，针对该验证方法的特点选择了IEEE标准语言SystemVerilog语言作为实现该方法学的载体。论文重点分析了验证平台及其层次的功能和设计方法，并将各个层次组合成完整的验证环境，分析了基于分层思想的验证平台的设计方法，包括验证平台中所含的验证组件的工作原理。基于分层思想的验证环境具有通用性，可根据被测对象的不同加以改动以实现重用的目的。随后通过验证实验和工程实践具体分析该验证平台的优缺点。论文基于这种验证方法设计液晶显示屏控制器（Liquid-CrystalDisplayController，LCDC）通用验证平台，使动态

6、仿真较传统验证方法更高效的执行验证工作，缓解验证压力，尤其是实现目前基于传统的Verilog语言的验证方法不易实现的高效率、可重用性、可观测性、可维护性与通用性。关键词：功能验证，SystemVerilog语言，事务级验证，可重用验证IAbstractThecomprehensiveandrapiddesignverificationisthekeyoftheICdesign’ssuccess.Nowadays,thefunctionverificationisthefocusinthefieldofverification.However,alongwiththemoref

7、unctionsofICandthemorecomplicatedstructure,itbringsaboutthemorejobstoverification.Whenpeoplecannotfinishtheirjobsontimewiththetraditionaltoolsandmeansofverification,itturnouttobeso-called“verificationcrisis”.Inordertoapplytothiskindofsituation,thetoolsan