基于uvm的层次化验证平台研究

《基于uvm的层次化验证平台研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、：ＴＮ４７：１０３３５分类号单位代码：：２１５１００９６密级学号硕士学位论文中文论文题目：基于ＵＶＭ的层次化验证平台研究英文论文题目：ＲｅｓｅａｒｃｈｏｎＨｉｅｒａｒｃｈｉｃａｌＶｅｒｉｆｉｃａｔｉｏｎＰｌａｔｆｏｒｍＢａｓｅｄｏｎ１１ＶＭ申请人姓名：ｐ东琳娜指导教师：严晓浪合作导师：孟建煙专业名称：电路与系统研究方向：数字集成电路设计所在学院：电气工程学院论文提交日期２０１８年１月基于ＵＶＭ的层次化验证平仓研究论文作者签名：怜秦０滅指导教师签名：

2、多１论文评阅人：］Ｉ奶散拎评阅人２：螯酗散挺ｆ淹］ｊ］评阅人３：＾ｙｙ＼＾ｔ＾＼Ｕ＼ｌｈＵＡｒＰ评阅人４：评阅人５：答辩委员会主席：Ｗｒ勒柃咖ｉ丨委员：々Ａｄ）￥ｍ＾ｉｒ委员２：＾（ｉ＾Ｖｊ委员３：衿方ｍ４ｉＵ？ｅ畔ｑ委员４：委员５：．ｔ赠（３答辩日期：ＲｅｓｅａｒｃｈｏｎＨｉｅｒａｒｃｈｉｃａｌＶｅｒｉｆｉｃａｔｉｏｎＰｌａｔｆｏｒｍＢａｓｅｄｏｎＵＶＭ５Ａｕｔｈｏｒ＊ｓｉｎａｔｕｒｅ：掩你ｇＷ５Ｓｕｅｒｖｉｓｏｒｓｓｉｇｎａｔｕ

3、ｒｅ：ｐＥｘｔｅｒｎａｌＲｅｖｉｅｗｅｒｓ：Ｉｋ－ｆｅｌ－ｌｉｋ？）ｈｊ＾ｔＣＥｘａｍｉｎｉｎｇＣｏｍｍｉｔｅｅＣｈａｉｒｐｅｒｓｏｎ：ｍｎｉｈｃＥｘａｍｉｎｉｎｇＣｏｍｍｉｔｔｅｅＭｅｍｂｅｒｓ：？Ｆｉｆ＼ｉｉｈ＿ｐＶｉ／Ｖ＾ｂ抵＾ｕＭｒＤａｔｅｏｆｏｒａｌｄｅｆｅｎｃｅ：浙江大学研究生学位论文独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得浙江大

4、学或其他教育机构的学位或证书而使用过的材料一。与我同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：签字日期：如ｔ年＋月０日学位论文版权使用授权书本学位论文作者完全了解浙江大学有权保留并向国家有关部门或机构送交本论文的复印件和磁盘，允许论文被查阅和借阅。本人授杈可以将学位论文的全部或部分内容编入有关数据库进行检索和传播，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本授权书）￣’学位论文作者签名：导师签名：签字曰期：１〇年；月ｊ曰签字曰期：年２月ｆｏ曰

5、／１＿丨浙江大学硕士学位论文ａ？致谢时光飞逝，转眼间近三年的研究生生涯已接近尾声，在这期间，有太多的人曾经以各种各样的形式帮助和支持过我，在这里我要对他们表达最真挚的谢意。首先，我要衷心的感谢严晓浪教授。无论是在学习还是生活中，严老师严谨的治学态度和平易近人的工作生活作风都深深地影响着我，指引我在工作学习过程中不断进取，勇于挑战。在此向严老师致以衷心的感谢与诚挚的敬意。其次，我要感谢浙江大学超大规模集成电路设计研究所的各位老师们。感谢、、、、史峥、沈海斌、罗小华、张培勇何乐年吴晓波赵梦恋、竺红卫、丁勇王维维等老师，感谢你们在我的研究

6、生求学期间给予我的帮助和指导。同时，我也要感谢杭州中天徵系统有限公司为我提供了实习机会，让我能够学以致用，快速的成长。感谢盂建熠老师在平时的工作学习中给予了我悉心的指，，导，不仅能够在工作项目中传授经验更是在学习科研中提供了许多帮助。此外一起做过项目的师兄师姐我还要感谢在中天，师弟师妹，同学同事们，感谢你们一在项目中给我的指导和帮助，与你们起工作、解决问题总是使我深受启发，谢谢你们。一感谢我的父母，感谢你们默默为我所做的切，感谢你们在生活中给我的关怀，你们是我人生路上最强大的后盾。最后，感谢曾经对我帮助与关心的所有人，是你们使我的人生道

7、路上不孤单。陈琳娜于求是园２０８－－１１１５Ｉ浙江大学硕士学位论文摘要摘要随着片上系统芯片复杂度和集成度的提高，芯片的验证也面临着巨大的挑战。ＵＶＭ作为业界最新且被广泛应用的验证方法学，很大程度上提高了验证效率。然而在现有的ＵＶＭ验证平台中，验证组件与ＤＵＴ紧耦合，导致验证组件的可重一ＵＶＭ－ｔｔＦｉＡｕｔｔ用性较差，ｒａｎｓａｃｉｏｎｅｌｄｏｍａｉｏｎ；另方面的定义使用了机制，调用路径过长，增加了测试用例的仿真时间。为此，引入了公用库的概念，以串行总线协议验证为例，采用层次化