| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-13页 |
| ·课题的研究背景及意义 | 第10页 |
| ·验证技术的发展历程与现状 | 第10-12页 |
| ·论文的研究内容与课题来源 | 第12页 |
| ·论文的章节安排 | 第12-13页 |
| 第二章 验证技术 | 第13-23页 |
| ·功能验证的概念 | 第13页 |
| ·功能验证的方法 | 第13-22页 |
| ·功能验证的分类 | 第13-16页 |
| ·覆盖率驱动的验证 | 第16-19页 |
| ·基于断言的验证 | 第19-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 重用验证方法学 | 第23-31页 |
| ·基于事务的验证 | 第23-24页 |
| ·重用验证方法学的验证平台架构 | 第24-25页 |
| ·设计与验证的重用 | 第25-26页 |
| ·验证工具Specman Elite 和e 语言 | 第26-30页 |
| ·Specman Elite | 第26-27页 |
| ·e 语言 | 第27页 |
| ·基于Specman Elite 的验证平台 | 第27-30页 |
| ·本章总结 | 第30-31页 |
| 第四章 重编码系统与验证环境的搭建 | 第31-50页 |
| ·E-DPDCH 重编码子系统 | 第31-34页 |
| ·E-DPDCH 重编码子系统的相关算法 | 第31-33页 |
| ·重编码子系统的实现方案 | 第33-34页 |
| ·搭建重编码系统的验证环境 | 第34-48页 |
| ·验证功能点的划分 | 第34-37页 |
| ·验证环境的搭建 | 第37-48页 |
| ·验证激励的编写与管理 | 第48页 |
| ·本章小结 | 第48-50页 |
| 第五章 验证结果分析 | 第50-55页 |
| ·验证发现缺陷 | 第50-52页 |
| ·覆盖率的统计结果 | 第52-53页 |
| ·功能覆盖率的统计结果 | 第52-53页 |
| ·代码覆盖率 | 第53页 |
| ·通过 Specman 的验证平台优化工具分析验证平台的性能 | 第53-54页 |
| ·本章小结 | 第54-55页 |
| 结论 | 第55-56页 |
| 参考文献 | 第56-59页 |
| 致谢 | 第59-60页 |
| 附件 | 第60页 |