学位论文 > 优秀研究生学位论文题录展示

基于事务验证方法在PMON项目中的设计与实现

作　者: 王夏泉
导　师: 杨宗凯；杜旭
学　校: 华中科技大学
专　业: 通信与信息系统
关键词: 事务验证 Testbuilder TVM TASK 验证模型并发调用同步机制
分类号: TP311.52
类　型: 硕士论文
年　份: 2004年
下　载: 57次
引　用: 0次
阅　读: 论文下载

内容摘要

当今ASIC设计因其后端工艺的不断进步(从0.35微米到0.10微米甚至0.08微米技术)而规模越来越大,在今后的近十年里,电子产业仍将遵循摩尔定律的速度增长。但是随着ASIC设计规模的增大,其相应前端验证的难度、复杂度将以几何级数的速度增加。当今ASIC前端验证已经成为整个ASIC设计流程中耗时长、难度大却又十分关键的阶段。ASIC前端验证已经建立了一套完备的理论,但是因为商业利益等各方面的原因,其实现上尚有诸多不足。近年来Candence公司推出了专门用于验证的C++工具库:Testbuilder。Testbuilder将软件设计中的面向对象设计思想与ASIC前端验证中基于事务的验证思想完美结合,加之其全开放、免费的验证环境,使之成为了当今业界最流行的验证方式之一。本论文将在介绍前端验证基本理论的基础上,着重介绍如何利用testbuilder在搭建验证环境方面的诸多优势,结合PMON项目原有的验证方案,提出了一种新的验证方案,并以实际的验证举例进行具体说明。第一章为绪论,主要介绍ASIC开发流程以及前端验证的基本理论,并重点介绍了基于事务验证的基本概念及其流程,从而引出基于事务验证的解决方案testbuilder。第二章介绍如何结合testbuilder的优点,将现有的验证方案进行进一步的改进,使之可以解决很多瓶颈问题,并论证了这一改进方案的正确性与可行性。第三章将利用第二章提出的新的验证方案,阐述其在具体设计中的应用,其中的三个设计举例都是以前PMON项目的测试难点,也是经典的验证难点问题:仲裁模型、排队模型、多对多模型等。第四章对第三章的实验结果进行了数据统计,并据此进行了结果分析,说明了新的验证方案与传统验证方案相比的优缺点。第五章将对前四章的内容进行总结,阐述搭建验证环境应该注意的一些基本却十分重要的原则,以及该验证方案的一些展望。

全文目录

摘要  3-4
ABSTRACT  4-7
1 绪论  7-26
  1.1 论文背景  8-14
  1.2 关键技术现状及其发展  14-24
  1.3 个人工作及课题意义  24-25
  1.4 论文结构安排  25-26
2 验证方案总体设计  26-37
  2.1 验证方案提出  26-29
  2.2 方案论证  29-37
3 详细设计与实现  37-46
  3.1 仲裁器的验证与实现  37-40
  3.2 排队模型的验证与实现  40-42
  3.3 路由模块的验证与实现  42-46
4 统计数据及结果分析  46-51
  4.1 实验及统计数据  46-49
  4.2 实验结果分析  49-51
5 总结与展望  51-55
致谢  55-56
参考文献  56-59
附录一(研究生期间发表论文)  59

基于事务验证方法在PMON项目中的设计与实现

内容摘要

全文目录

相似论文