基于vmm验证方法学eectrl验证环境搭建及覆盖率的分析

《基于vmm验证方法学eectrl验证环境搭建及覆盖率的分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西安电子科技大学硕士学位论文基于VMM验证方法学的EECTRL验证环境搭建及覆盖率分析作者：贾超导师：庄奕琪教授学科：集成电路工程中国·西安2013年1月TheverificationofEECTRLbasedonVMMandtheanalysisofcoveragereportADissertationSubmittedtoXidianUniversityInCandidacyforDegreeofMasterinIntegratedCircuitEngineeringByJiaChaoXi’an,P.R.ChinaJanuary2013西安电子科技大学学位论文独创性声明秉承学校严谨的学风

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

3、的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容，可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证，毕业后结合学位论文研究课题再撰写的文章一律署名单位为西安电子科技大学。(保密的论文在解密后遵守此规定)本学位论文属于保密，在年解密后适用本授权书。本人签名：导师签名：日期：日期：摘要摘要随着SOC技术及IP技术的发展，设计及和验证的技术也在不断地发展，SOC技术缩短了芯片由最初的设计到产品面市的时间，在芯片的整个设计当中，验证的工作占据了大约70%的时间，而芯片流片失败的原因大部分是由验证工作不充分而引起的，因此，验证工作在SOC设计中占据了很重要的部分。如何搭建一个基

4、于VMM方法学的验证环境并且通过分析覆盖率来完善验证工作，是本文的重点。本文是以一个EEPROM接口电路为例，搭建了一个可复用的模块级验证环境，该验证环境使用了VMM验证方法学，该验证方法学是基于SystemVerilog，通过搭建分层的验证平台，产生受约束的随机激励，最后产生覆盖率的报告，通过对覆盖率报告的分析，添加测试案例，来进一步提高覆盖率，本文中对EEPROM接口控制电路的验证环境搭建进行了详细的描述，搭建了一个可复用的验证平台，进行仿真，根据生成的覆盖率报告，增加了新的case，提高覆盖率。文中对验证的对象EERPOM的接口电路也进行了简单地概述，本文通过对验证环境搭建以及对验证流

5、程的描述，突出了VMM验证方法学的优势。通过仿真以及对设计代码的debug，最终代码覆盖率与功能覆盖率均达到了100%，状态机覆盖率达到71.43%，经designer确认未覆盖的为异常情况，不需要提高。，从而达到了验证的目的。关键词：VMM验证覆盖率复用EEPROM接口电路AbstractAbstractWiththedevelopmentoftheSOCandIPtechnology,thetechnologyofdesignandtechnologyofverificationarealsodeveloped.ThetechnologyofSOCdecreasesthetimerang

6、efromthedesignofcircuittothemarket.Whenwefinishthewholeflow,theverificationtakesupabout70%ofthewholedesigntime.Butthedesignwhichisnotsoprefectmainlycausedthefailurewhenthedesigntapesout.Soverificationisaveryimportantpartofthewholeflow.Thekeypointofthispaperishowtobuildaverificationenvironmentbasedo

7、nVMMandtocompletetheworkoftheverificationduetotheanalysisofthecoveragereport.AblocklevelverificationenvironmentforanEEPROMinterfacecircuitisbuiltinthispaper.VMMisusedwhenbuildingtheenvironment.Thisverificat