| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第1章 绪论 | 第11-20页 |
| ·课题背景及研究意义 | 第11-13页 |
| ·研究现状及发展趋势 | 第13-16页 |
| ·覆盖率导向的验证方法 | 第16-18页 |
| ·主要工作及论文组织结构 | 第18-20页 |
| 第2章 覆盖率导向验证中的testbench结构 | 第20-28页 |
| ·testbench概念 | 第20页 |
| ·传统的testbench | 第20-22页 |
| ·覆盖率导向验证中的testbench结构 | 第22-28页 |
| ·基于事务的验证方法 | 第22-24页 |
| ·覆盖率导向验证的testbench结构 | 第24-25页 |
| ·层次化的覆盖率导向验证的testbench结构 | 第25-28页 |
| 第3章 代码覆盖率 | 第28-38页 |
| ·覆盖率参数 | 第28-30页 |
| ·代码覆盖率 | 第30-35页 |
| ·测量64位CPU的代码覆盖率 | 第35-38页 |
| 第4章 功能覆盖率建模 | 第38-59页 |
| ·概述 | 第38-39页 |
| ·覆盖率模型的保真度 | 第38-39页 |
| ·覆盖率模型设计方法 | 第39-44页 |
| ·覆盖率模型的定义 | 第39页 |
| ·确定覆盖率中的属性 | 第39-41页 |
| ·属性的关系 | 第41-44页 |
| ·建立64位CPU指令集的功能覆盖率模型 | 第44-59页 |
| ·64位CPU指令集的功能覆盖率模型的设计 | 第44-51页 |
| ·64位CPU指令集的功能覆盖率模型的实现 | 第51-59页 |
| 第5章 覆盖率导向的验证方法中的激励产生 | 第59-80页 |
| ·覆盖率导向验证的激励生成 | 第59-67页 |
| ·验证中测试激励产生的方法 | 第59-60页 |
| ·覆盖率导向的验证方法中的测试激励生成机制 | 第60-64页 |
| ·填补覆盖率空洞 | 第64-67页 |
| ·在64位CPU验证中应用覆盖率导向的激励生成 | 第67-80页 |
| ·建立事务级验证模型 | 第67-70页 |
| ·可约束的随机激励 | 第70-77页 |
| ·自动修改激励的约束 | 第77-78页 |
| ·生成随机指令序列 | 第78页 |
| ·可约束的随机激励和完全随机激励比较 | 第78-80页 |
| 第6章 覆盖率导向的验证方法中的响应检查 | 第80-96页 |
| ·覆盖率导向的验证方法中的响应检查 | 第80-81页 |
| ·用参考模型的方法检查功能的正确性 | 第81-87页 |
| ·使用现有的参考模型 | 第82-84页 |
| ·建立参考模型 | 第84-87页 |
| ·基于断言的验证方法检查时序功能特性 | 第87-96页 |
| ·对于硬件的断言和基于断言的验证 | 第88-89页 |
| ·在64位CPU验证中应用基于断言的验证方法 | 第89-96页 |
| 第7章 总结与展望 | 第96-99页 |
| ·总结 | 第96-97页 |
| ·展望 | 第97-99页 |
| 致谢 | 第99-100页 |
| 参考文献 | 第100-103页 |
| 附录A 64位CPU设计中代码覆盖率报告 | 第103-105页 |
| 附录B align_control模块的块覆盖率细节报告 | 第105-108页 |
| 附录C 64位CPU指令集模型的功能覆盖率报告 | 第108-115页 |
| 附录D 64位CPU SysAD总线协议的断言覆盖率报告 | 第115-116页 |
| 个人简历 在读期间发表的学术论文与研究成果 | 第116页 |