VMM验证方法学研究及SystemC实现

主要讲的是vmm验证方法学的相关知识

复旦大学

硕士学位论文

VMM验证方法学研究及SystemC实现

姓名：黄鉴

申请学位级别：硕士

专业：电子与通信工程

指导教师：沈泊

20070328

主要讲的是vmm验证方法学的相关知识

论文独创性声明

本论文是我个人在导师指导下进行的研究工作及取得的研究成果．论文中除了特别加以标注和致谢的地方外，不包含其他人或其它机构已经发表或撰写过的研究成果．其他同志对本研究的启发和所做的贡献均已在论文中作了明确的声明并表示了谢意．

作者签名蔓蓬．日期：坌！翌Ｚ醒毖

论文使用授权声明

本人完＋－ｒ解复旦大学有关保留、使用学位论文的规定．即：学校有权保留送交论文的复印件．允许论文被查阅和借阅：学校可以公布论文的全部或部分内容．可以采用影印、缩印或其它复制手段保存论文．保密的论文在解密后遵守此规定．储签名：童监Ｌ导师辑－２型喃壹乏丝扩

主要讲的是vmm验证方法学的相关知识

摘要

随着设计复杂度的增长，验证变得越来越困难，验证往往占到整个产品开

发周期的７０％，目前关于验证方法学的研究在硅谷是非常热门的话题。

本文简单回顾了验证方法学的发展史，重点讨论了ＳｏＣ时代所面临的验证挑

战，并对当前业界公认最权威的ＶＭＭ验证方法学进行了深入研究。ＶｅｒｉｆｉｃａｔｉｏｎＭｅｔｈｏｄｏｌｏｇｙＭａｎｕａｌ（１ｒＭＭ）的目标就是要针对ＳｏＣ时代的验证需求创造一个类似的验证方法和验证平台的标准。本文全面的介绍了该方法学所倡导的验证平台框架，以及在这个框架内如何实现可重用、可扩展，以及如何针对ＳｏＣ的验证需求提供高效、系统的解决方案。

出于商业目的，删是与Ｓｙｎｏｐｓｙｓ所主推的ＳｙｓｔｅｍＶｅｒｉｌｏｇ语言绑定在一起

的，所以其所倡导的很多实现细节是和语言密切相关的．但正如作者所言，方法学本身是不局限于语言的，你完全可以用其它语言来实现这些方法。从系统建模的角度而言ＳｙｓｔｅｍＣ尸，经成为了事实上的标准，而今天复杂的ＳｏＣ的验证环境其实就是一个很复杂的系统建模过程。我们自然的想法就是借鉴ＶＭＭ验证方法学，但在实现语言上全部采用ＳｙｓｔｅｍＣ．所以在实现部分，本文按照ＶＭＭ验证方法学所定义的验证平台架构架构和规则，采用ＳｙｓｔｅｍＣ设计了一个图像增强模块的验证环境。该环境采用ＴＳｙｓｔｅｍＣ的事务级建模技术，实现了验证平台的层次化，并在平台中直接集成了图像增强模块的Ｃ模型，在仿真时基于ＲＴＬ的被测对象和ｃ模型同时运行，实时比对，及时的报告出错信息，方便定位．支持脚本方式的测试激励输入管理和测试流程管理。通过平台的建设我们充分感受到基于ＶＭＭ验证方法学所定义的架构和高抽象验证语言，如ＳｙｓｔｅｍＣ所带来的高效率．

本文最后部分简要的讨论了该验证平台未来的优化方向．重点探讨了开发一

个统一的平台可以同时满足算法开发、模块级验证，子系统以及系统验证的需求。关键字：砌验证方法学，ＳｙｓｔｅｍＣ，可重用，可伸缩，覆盖率中图分类号：ＴＮ４７

主要讲的是vmm验证方法学的相关知识

Ａｂｓｔｒａｃｔ

Ｗｉｔｈｔｈｅｉｎｃｒｅａｓｉｎｇｄｅｓｉｇｎｃｏｍｐｌｅｘｉｔｙ，ｖｅｒｉｆｉｃａｔｉｏｎｂｅｃｏｍｅｓｍｏｒｅａｎｄｍｏｒｅ

ｄｉｆｆｉｃｕｌｔ．Ｉｔａｌｗａｙｓｓｐｅｎｄｓ７０％ｅｆｆｏｒｔｏｎｔｈｅｐｒｏｄｕｃｔｄｅｖｅｌｏｐｍｅｎｔｃｙｃｌｅ．Ｃｕｒｒｅｎｔｌｙ

ｔｈｅｉｎｖｅｓｔｉｇａｔｉｏｎｏｎｖｅｒｉｆｉｃａｔｉｏｎｍｅｔｈｏｄｏｌｏｇｙｉｓｖｅｒｙｈｏｔｉｎＳｉｌｉｃｏｎＶａｌｌｅｙ．

Ｔｈｉｓｐａｐｅｒｄｅｍｏｎｓｔｒａｔｅｓｔｈｅｖｅｒｉｆｉｃａｔｉｏｎｅｖａｌｕａｔｉｏｎｈｉｓｔｏｒｙａｎｄｃｏｎｃｅｎｔｒａｔｅｓｏｎｔｈｅ

ｃｈａｌｌｅｎｇｅｓｗｅａｒｅｆａｃｉｎｇｎｏｗｏｎＳ０ｃ．Ａｓｗｅｌｌｗｅｇｉｖｅａｃｏｍｐｒｅｈｅｎｓｉｖｅｉｎｔｒｏｄｕｃｔｉｏｎ

ａｂｏｕｔｃｕｒｒｅｎｔｌｙｌｅａｄｉｎｇｖｅｒｉｆｉｃａｔｉｏｎｍｅｔｈｏｄｏｆｏｇｙＶ咖．ＶｅｒｉｆｉｃａｔｉｏｎＭｅｔｈｏｄｏｌｏｇｙ

Ｍａｎｕａｌ（Ⅵ埘）ｉｓｔａｒｇｅｔｅｄｔｏｐｒｏｖｉｄｅｓｉｍｉｌａｒｇｕｉｄａｎｃｅｆｏｒｖｅｒｉｆｉｃａｔｉｏｎｍｅｔｈｏｄｏｌｏｇｙ

ａｎｄｖｅｒｉｆｉｃａｔｉｏｎｒｅｕｓｅ．ｇｅｄｅｍｏｎｓｔｒａｔｅｔｈｅⅧｉｎｆｒａｓｔｒｕｃｔｕｒｅａｎｄｅｘｐｒｅｓｓｈｏｗｔｏ

ｉｍｐｌｏｍｅｎｔｒｅｕｓａｂｉｌｉｔｙ，ｅｘｔｅｎｓｉｂｉｌｉｔｙ，ａｎｄｇｉｖｅａｓｅｔｏｆｓｙｓｔｅｍａｔｉｃｓｏｌｕｔｉｏｎｓｔｏ

ｈａｎｄｌｅｃｕｒｒｅｎｔＳｏＣｖｅｒｉｆｉｃａｔｉｏｎｃｈａｌｌｅｎｇｅｓ．

Ｆｏｒｃｏｍｍｅｒｃｉａｌｃｏｎｓｉｄｅｒａｔｉｏｎ，Ｓｙｎｏｐｓｙｓｂｉｎｄｓｔｈｅ删ｗｉｔｈｔｈｅｉｒｐｒｏｐｏｓｅｄ

ＳｙｓｔｅｍＶｅｒｉｌｏｇｌａｎｇｕａｇｅｔｏｇｅｔｈｅｒ．ｓｏｍａｎｙｏｆｔｈｅｄｅｔａｉｌｅｄｒｕｌｅｓｐｒｏｐｏｓｅｄｉｎ删ａｒｅ

ｒｅｌａｔｅｄｗｉｔｈＳｙｓｔｅｍＶｅｒｉｌｏｇｌａｎｇｕａｇｅ．Ａｓｔｈｅａｕｔｈｏｒｓａｉｄ，ｍｅｔｈｏｄｏｌｏｇｙｉｓｉｎｄｅｐｅｎｄｅｎｔ

ｗｉｔｈｌａｎｇｕａｇｅｙｏｕｃａｎｉｍｐｌｅｍｅｎｔｉｔｉｎａｎｙｌａｎｇｕａｇｅｓ．Ｆｏｒｓｙｓｔｅｍｌｅｖｅｌｍｏｄｅｌｉｎｇ，

ＳｙｓｔｏｍＣｉｓｗｉｄｅｌｙａｃｃｅｐｔｅｄｓｔａｎｄａｒｄ．ＢｕｉｌｄｉｎｇＳｏｃｖｅｒｉｆｉｃａｔｉｏｎｐｌａｔｆｏｒｍａｃｔｕａｌｌｙ

ｉｓａｃｏｍｐｌｅｘｓｙｓｔｅｍｌｅｖｅｌｍｏｄｅｌｉｎｇｐｒｏｇｒｅｓｓ．ＳｏｗｅｐｒｅｆｅｒｔｏｄｅｐｌｏｙｉｎｇｔｈｅＳｙｓｔｅｍＣ

ａｓｉｍｐｌｅｍｅｎｔａｔｉｏｎｌａｎｇｕａｇｅａｎｄｆｏｌｌｏｗｉｎｇｔｈｅｓａｍｅ咖ｍｅｔｈｏｄｏｌｏｇｙ．

Ｉｎｔｈｅｉｍｐｌｅｍｅｎｔａｔｉｏｎｃｈａｐｔｅｒ。ｗｅｆｏｌｌｏｗｅｄｔｈｅ删ｖｅｒｉｆｉｃａｔｉｏｎｍｅｔｈｏｄｏｌｏｇｙ

ｄｅｆｉｎｅｄｉｎｆｒａｓｔｒｕｃｔｕｒｅｉｍｐｌｅｍｅｎｔｅｄａｖｉｄｅｏｅｎｈａｎｃｅｍｅｎｔｖｅｒｉｆｉｃａｔｉｏｎｅｎｖｉｒｏｎｍｅｎｔ．

Ｏｎｔｅｃｈｎｉｃａｌｓｉｄｅ，ＳｙｓｔｅｍＣｌａｎｇｕａｇｅａｎｄＳｙｓｔｅｍＣｂａｓｅｄＴｒａｎｓａｃｔｉｏｎＬｅｖｅｌＭｏｄｅｌｉｎｇ

ｔｅｃｈｎｉｃａｌａｒｅｅｍｐｌｏｙｅｄ．Ｏｎｔｈｅｌａｙｅｒｅｄｖｅｒｉｆｉｃａｔｉｏｎｅｎｖｉｒｏｎｍｅｎｔ，ｔｈｅＣｍｏｄｅｌｉｓ

ｉｎｔｅｇｒａｔｅｄｉｎｄｉｒｅｃｔｌｙａｎｄｒｕｎｓｗｉｔｈｔｈｅｌＨ．Ｌｏｎ—ｔｈｅ—ｆｌｙ．Ｄｅｐｅｎｄｓｏｎｔｈｉｓ．ｗｅｃａｎ

ａｃｈｉｅｖｅａｎｔｎｍａｔｉｃａｌｌｙｓｅｌｆ—ｃｈｅｃｋｉｎｇ．ｂｕｇｆｉｘｉｓｍ０１＂ｅｅａｓｙ．Ｔｈｉｓｖｅｒｉｆｉｃａｔｉｏｎ

ｅｎｖｉｒｏｎｍｅｎｔｓｕｐｐｏｒｔｓｓｔｉｍｕｌｕｓｉｎｐｕｔａｎｄｓｉｍｕｌａｔｉｏｎｐｒｏｇ …… 此处隐藏：8534字，全部文档内容请下载后查看。喜欢就下载吧 ……