vmm验证方法学研究及usb验证实践电子科学与技术;微电子学与固体电子学专业论文.docxVIP

南开大学学位论文使用授权书根据《南开大学关于研究生学位论文收藏和利用管理办法》，我校的博士、硕士学位 南开大学学位论文使用授权书 根据《南开大学关于研究生学位论文收藏和利用管理办法》，我校的博士、硕士学位 获得者均须向南开大学提交本人的学位论文纸质本及相应电子版。 本人完全了解南开大学有关研究生学位论文收藏和利用的管理规定。南开大学拥有在 《著作权法》规定范围内的学位论文使用权，即：(1)学位获得者必须按规定提交学位论文 (包括纸质印刷本及电子版)，学校可以采用影印、缩印或其他复制手段保存研究生学位论 文，并编入《南开大学博硕士学位论文全文数据库》；(2)为教学和科研目的，学校可以将 公开的学位论文作为资料在图书馆等场所提供校内师生阅读，在校园网上提供论文目录检 索、文摘以及论文全文浏览、下载等免费信息服务；(3)根据教育部有关规定，南开大学向 教育部指定单位提交公开的学位论文；“)学位论文作者授权学校向中国科技信息研究所和 中国学术期刊(光盘)电子出版社提交规定范围的学位论文及其电子版并收入相应学位论文 数据库，通过其相关网站对外进行信息服务。同时本人保留在其他媒体发表论文的权利。 非公开学位论文，保密期限内不向外提交和提供服务，解密后提交和服务同公开论文。 论文电子版提交至校图书馆网站：http：／／202．113．20．161：8001／index．hun。 本人承诺：本人的学位论文是在南开大学学习期间创作完成的作品，并已通过论文答 辩；提交的学位论文电子版与纸质本论文的内容一致，如因不同造成不良后果由本人自负。 本人同意遵守上述规定。本授权书签署一式两份，由研究生院和图书馆留存。 作者暨授权人签字： 盘熬 2011 年6月2 日 南开大学研究生学位论文作者信息 论文题目 VMM验证方法学研究及USB验证实践 姓名 鲁毅 学号 2120080242 答辩日期 2011年5月27日 论文类别 博士口 学历硕士■ 硕士专业学位口 高校教师口 同等学力硕士口 院／系／所 信息技术科学学院电子科学与微电子系 专业 微电子与固体电子学 联系电话 Email nkhuhuhu@mail．nankai．edu．cn 通信地址(rag编)：天津市南开区卫津路94号南开大学西区公寓4-1．209 备注： 是否批准为非公开论文 否 注：本授权书适用我校授予的所有博士、硕士的学位论文。由作者填写(一式两份)签字后交校图书 馆，非公开学位论文须附《南开大学研究生申请非公开学位论文审批表》。 摘要摘要 摘要 摘要 集成电路经过几十年的发展，设计规模越来越大，功能日趋复杂。这种情 况给验证工作带来了极大的挑战。产业内为了应对这种挑战，不断开发新的验 证技术，发明新的验证语言，针对复杂设计提出新的验证方法学。本文以如今 业内流行的SystemVerilog语言作为研究工具，对业内最新提出的vMM验证方 法学的实现进行研究，并通过USB IP核的验证完成方法学的实践。本文意在研 究新的验证方法学，掌握主流验证技术的发展趋势。 本文首先对AISC前端验证中使用的技术进行深入讨论，并对业内使用的验 证语言的特点进行归纳总结。这些内容是高级验证方法学和SystemVeri log语 言存在的基础。本文随后对SystemVerilog语言和VMM验证方法学进行了深入 研究。通过对二者的深入剖析，理解面向对象的编程方法和vMM验证方法学的 四个重要特点，即抽象化、自动化、重用性强和断言。最后，本文使用VIP搭 建了基于VMM验证方法学的验证平台，并通过该平台对USB IP核进行了验证实 践。本文的验证结果通过报告的形式进行观察，摒弃了传统验证中的波形观察 的方式。这对系统验证来说具有很强的易用性。 关键词：VMM SystanVerilog IP核 重用 AbstractAbstract Abstract Abstract With the development for many ten years，the design scale of integrate circuit is becoming more and more larger and its function is turning to be more and more complex．It is a serious challenge for verification．In order to meet the increasing requirement, manufacturers develop new verification techniques， invent new verification languages and summarize new veri