二维加速引擎逻辑的EDA验证
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·什么是验证 | 第7-8页 |
| ·课题来源 | 第8页 |
| ·研究此课题的目的和意义 | 第8-9页 |
| ·本论文的任务和安排 | 第9-10页 |
| ·本章小结 | 第10-11页 |
| 第二章 验证的重要性及验证平台 | 第11-33页 |
| ·验证技术概述 | 第11-13页 |
| ·动态验证技术 | 第11页 |
| ·静态验证技术 | 第11-12页 |
| ·混合功能验证技术 | 第12页 |
| ·形式验证技术 | 第12-13页 |
| ·验证的重要性和独立性 | 第13-16页 |
| ·验证的重要性 | 第13-15页 |
| ·验证的独立性 | 第15-16页 |
| ·基于 VMM 方法学的验证平台 | 第16-24页 |
| ·Testbench 的概念 | 第16-17页 |
| ·自动化验证平台的搭建 | 第17-20页 |
| ·VMM 验证方法学概述 | 第20-24页 |
| ·SYSTEM C 语言简介 | 第24-29页 |
| ·System C 简介 | 第24-25页 |
| ·System C 基本库介绍 | 第25-29页 |
| ·验证工具介绍 | 第29-31页 |
| ·本章小结 | 第31-33页 |
| 第三章 “二维加速引擎”逻辑的介绍 | 第33-41页 |
| ·“二维加速引擎”逻辑的基本原理和应用场景 | 第33-34页 |
| ·“二维加速引擎”逻辑的应用场景 | 第33-34页 |
| ·“二维加速引擎”逻辑的工作模式 | 第34页 |
| ·“二维加速引擎”逻辑的逻辑架构 | 第34页 |
| ·测试点分解 | 第34-40页 |
| ·测试点的来源 | 第35-36页 |
| ·测试点的分类 | 第36页 |
| ·测试点的分解 | 第36-37页 |
| ·测试用例 | 第37-40页 |
| ·本章小结 | 第40-41页 |
| 第四章 “二维加速引擎”具体实现的逻辑验证平台 | 第41-51页 |
| ·“二维加速引擎”逻辑架构设计与验证平台 | 第41页 |
| ·SCHEDULER 的设计 | 第41-45页 |
| ·进程简介 | 第42页 |
| ·reg_init 进程 | 第42-43页 |
| ·int_proc 进程 | 第43-44页 |
| ·node_cfg 进程 | 第44-45页 |
| ·link_cfg 进程 | 第45页 |
| ·测试用例（TESTCASE） | 第45-46页 |
| ·顶层（HARNESS） | 第46-47页 |
| ·工作目录的层次 | 第47-48页 |
| ·代码覆盖率 | 第48-50页 |
| ·代码覆盖率简介 | 第48-49页 |
| ·代码覆盖率仿真结果 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 第五章 总结 | 第51-53页 |
| ·论文总结 | 第51页 |
| ·下一步工作展望 | 第51-53页 |
| 致谢 | 第53-55页 |
| 参考文献 | 第55-57页 |
