| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·选题背景 | 第7页 |
| ·验证的产生与现状 | 第7-10页 |
| ·缺陷是不可避免的 | 第7-9页 |
| ·芯片验证的定义 | 第9页 |
| ·验证的目的 | 第9-10页 |
| ·验证的现状 | 第10页 |
| ·EGV3 手机基带芯片简介 | 第10-11页 |
| ·论文的主要的工作 | 第11页 |
| ·论文的结构 | 第11-13页 |
| 第二章 芯片验证的相关技术 | 第13-29页 |
| ·验证需要遵循的原则 | 第13-15页 |
| ·常用的验证技术 | 第15-18页 |
| ·验证技术分类 | 第15-16页 |
| ·流片后验证的流程 | 第16-18页 |
| ·验证资源的管理 | 第18-22页 |
| ·使用ClearCase 进行版本控制 | 第18-20页 |
| ·使用Quality Center 进行项目管理 | 第20-21页 |
| ·使用UTP 系统进行缺陷跟踪 | 第21-22页 |
| ·验证程序的优化与重用 | 第22-23页 |
| ·验证的自动化 | 第22页 |
| ·验证的重用 | 第22-23页 |
| ·芯片的虚拟原型 | 第23-27页 |
| ·虚拟原型 | 第23-26页 |
| ·虚拟原型的开发与验证环境 | 第26-27页 |
| ·虚拟原型与验证的关系 | 第27页 |
| ·本章小结 | 第27-29页 |
| 第三章 GPTU 模块验证的需求分析 | 第29-45页 |
| ·GPTU 模块的基本功能 | 第29-34页 |
| ·GPTU 模块概述 | 第29-30页 |
| ·GPTU_1 的功能和接口 | 第30-33页 |
| ·GPTU_2 的功能和接口 | 第33-34页 |
| ·验证系统需求 | 第34-35页 |
| ·GPTU 模块验证用例的设计 | 第35-42页 |
| ·GPTU 模块验证库函数的设计 | 第42-43页 |
| ·GPTU 模块验证用例的组织 | 第43页 |
| ·本章小结 | 第43-45页 |
| 第四章 GPTU 模块验证程序的实现 | 第45-65页 |
| ·验证的软件环境 | 第45-52页 |
| ·交叉编译环境 | 第45-46页 |
| ·验证用程序的makefile 系统 | 第46-49页 |
| ·本项目使用的软件工具包 | 第49页 |
| ·目录结构 | 第49-52页 |
| ·GPTU 模块寄存器的封装 | 第52-54页 |
| ·GPTU 库函数的实现 | 第54-57页 |
| ·GPTU 验证用例的实现 | 第57-62页 |
| ·验证用例的组合框架 | 第57-58页 |
| ·功能性验证用例的实现 | 第58-59页 |
| ·寄存器验证用例的实现 | 第59-61页 |
| ·性能验证用例的实现 | 第61-62页 |
| ·使用per 脚本编写寄存器操作工具 | 第62-64页 |
| ·Lauterbach per 脚本基本结构与特点 | 第62-63页 |
| ·使用per 脚本编写的寄存器工具 | 第63-64页 |
| ·本章小结 | 第64-65页 |
| 第五章 验证程序的运行及结果 | 第65-75页 |
| ·验证硬件环境 | 第65-66页 |
| ·验证评估板与调试工具 | 第65-66页 |
| ·验证所需仪器 | 第66页 |
| ·在虚拟原型上执行验证用例 | 第66-68页 |
| ·在实体芯片上执行验证用例 | 第68-69页 |
| ·验证结果分析 | 第69-74页 |
| ·本章小结 | 第74-75页 |
| 结束语 | 第75-77页 |
| 致谢 | 第77-79页 |
| 参考文献 | 第79-81页 |