| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第1章 绪论 | 第8-20页 |
| ·课题来源 | 第8-9页 |
| ·本课题的主要研究内容 | 第9页 |
| ·传统Testbench的不足 | 第9-11页 |
| ·传统验证环境的特点 | 第9-10页 |
| ·Testbench的不足 | 第10页 |
| ·面临的验证挑战 | 第10-11页 |
| ·验证语言System Verilog的介绍 | 第11-18页 |
| ·当今芯片设计主流语言介绍 | 第11-14页 |
| ·System Verilog的特点介绍 | 第14页 |
| ·System Verilog的优势所在 | 第14-16页 |
| ·System Verilog的VMM验证方法学介绍 | 第16-18页 |
| ·本论文的主要工作 | 第18-20页 |
| 第2章 验证流程介绍 | 第20-30页 |
| ·验证流程的总体概述 | 第20-22页 |
| ·验证测试点分解的要点 | 第22-26页 |
| ·测试点的基本概念 | 第23-24页 |
| ·测试点的基本特性 | 第24-25页 |
| ·测试点的分解步骤及关注点 | 第25-26页 |
| ·验证方案的编写 | 第26-27页 |
| ·验证环境的搭建 | 第27-29页 |
| ·验证环境的运行 | 第29页 |
| ·本章小结 | 第29-30页 |
| 第3章 CPU接口模块CPURTX设计介绍 | 第30-41页 |
| ·CPURTX模块的介绍 | 第30-31页 |
| ·CPURTX的总体详细设计方案 | 第31-37页 |
| ·CPURTX模块的主要功能 | 第31页 |
| ·CPURTX接口信号描述 | 第31-34页 |
| ·CPURTX设计实现及处理流程 | 第34-35页 |
| ·CPURTX与外部模块的接口时序 | 第35-37页 |
| ·各子模块详细设计方案 | 第37-40页 |
| ·CCC子模块设计 | 第37-38页 |
| ·PDC子模块设计 | 第38-39页 |
| ·BDTC子模块设计 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第4章 对于CPURTX的仿真验证 | 第41-52页 |
| ·CPURTX模块的测试点分解 | 第41-43页 |
| ·CPURTX的验证方案 | 第43-47页 |
| ·CPURTX的验证环境代码 | 第47-48页 |
| ·验证环境的调试 | 第48-50页 |
| ·应用验证环境进行逻辑仿真 | 第50页 |
| ·CPURTX仿真小结 | 第50-51页 |
| ·CPURTX仿真环境的扩展性和重用性 | 第51页 |
| ·本章小结 | 第51-52页 |
| 结论 | 第52-53页 |
| 参考文献 | 第53-56页 |
| 攻读学位期间发表的学术论文 | 第56-58页 |
| 致谢 | 第58页 |