| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 英文略缩语 | 第8-9页 |
| 1. 绪论 | 第9-14页 |
| ·选题的背景及意义 | 第9-12页 |
| ·课题来源 | 第12页 |
| ·研究内容与章节安排 | 第12-14页 |
| 2. 功能验证技术及方法 | 第14-27页 |
| ·功能验证概述 | 第14-15页 |
| ·常用的验证技术 | 第15-19页 |
| ·功能验证方法 | 第19-26页 |
| ·本章小结 | 第26-27页 |
| 3. 基于事务的层次化验证平台 | 第27-43页 |
| ·验证平台结构研究 | 第27-33页 |
| ·验证平台的组件 | 第33-38页 |
| ·可重用的验证IP | 第38-39页 |
| ·使用SystemVerilog VMM 标准库 | 第39-42页 |
| ·本章小结 | 第42-43页 |
| 4. 验证平台的设计与实现 | 第43-52页 |
| ·验证平台需求 | 第43-44页 |
| ·验证平台的实现 | 第44-51页 |
| ·本章小结 | 第51-52页 |
| 5. 验证平台的测试与分析 | 第52-54页 |
| ·验证平台的测试 | 第52页 |
| ·结果分析与结论 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 6. 总结与展望 | 第54-56页 |
| ·论文总结 | 第54页 |
| ·研究展望 | 第54-56页 |
| 致谢 | 第56-57页 |
| 参考文献 | 第57-59页 |