基于多核片上系统的自动验证平台关键技术研究
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第一章 绪论 | 第9-13页 |
| ·课题研究背景 | 第9-11页 |
| ·课题的研究来源及意义 | 第11-12页 |
| ·论文内容与结构 | 第12-13页 |
| 第二章 功能验证技术和方法 | 第13-23页 |
| ·验证面对的挑战 | 第13-14页 |
| ·功能验证技术和方法 | 第14-20页 |
| ·黑盒、白盒与灰盒验证 | 第14-16页 |
| ·验证技术 | 第16-18页 |
| ·验证方法 | 第18-20页 |
| ·硬件验证语言 | 第20-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 多核片上系统功能验证平台设计方案 | 第23-33页 |
| ·异构多核片上系统 XDNP 的描述 | 第23-26页 |
| ·XDNP 的系统架构 | 第23-25页 |
| ·XDNP 的工作流程 | 第25-26页 |
| ·功能验证平台的设计目标 | 第26-28页 |
| ·验证的内容 | 第26-27页 |
| ·验证平台的设计目标 | 第27-28页 |
| ·验证平台的设计方案 | 第28-31页 |
| ·验证平台总体结构 | 第28-29页 |
| ·验证平台设计方案 | 第29-31页 |
| ·本章小结 | 第31-33页 |
| 第四章 多核片上系统功能验证平台的实现与优化 | 第33-53页 |
| ·验证平台子模块的实现 | 第33-48页 |
| ·接口 | 第33-34页 |
| ·激励发生器 | 第34-39页 |
| ·驱动器 | 第39-40页 |
| ·监视器 | 第40页 |
| ·记分板 | 第40-41页 |
| ·断言 | 第41-46页 |
| ·功能覆盖率模型 | 第46-48页 |
| ·验证平台的优化 | 第48-51页 |
| ·注入错误 | 第48-49页 |
| ·基于虚接口的优化 | 第49-51页 |
| ·本章小结 | 第51-53页 |
| 第五章 验证过程及结果 | 第53-59页 |
| ·验证过程 | 第53-54页 |
| ·仿真工具 | 第53页 |
| ·验证过程 | 第53-54页 |
| ·验证结果 | 第54-58页 |
| ·基于数据平面的功能覆盖率 | 第54-56页 |
| ·基于控制平面的功能覆盖率 | 第56-57页 |
| ·性能分析 | 第57-58页 |
| ·本章小结 | 第58-59页 |
| 第六章 结束语 | 第59-61页 |
| ·工作总结 | 第59页 |
| ·工作展望 | 第59-61页 |
| 致谢 | 第61-63页 |
| 参考文献 | 第63-65页 |
| 研究成果 | 第65-66页 |
