一种基于片上网络的自动化验证方法研究
| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 符号对照表 | 第11-12页 |
| 缩略语对照表 | 第12-16页 |
| 第一章 绪论 | 第16-22页 |
| 1.1 研究背景 | 第16-19页 |
| 1.1.1 集成电路的发展 | 第16-17页 |
| 1.1.2 片上网络产生背景 | 第17-19页 |
| 1.2 片上网络研究现状 | 第19-20页 |
| 1.2.1 国外研究现状 | 第19-20页 |
| 1.2.2 国内研究现状 | 第20页 |
| 1.3 本文研究内容 | 第20-22页 |
| 第二章 片上网络概述 | 第22-28页 |
| 2.1 拓扑结构 | 第22-24页 |
| 2.1.1 二维网格结构2D Mesh | 第22-23页 |
| 2.1.2 二维环绕结构2D Torus | 第23页 |
| 2.1.3 胖树形结构Fat Tree | 第23-24页 |
| 2.2 路由器 | 第24-26页 |
| 2.3 本章小结 | 第26-28页 |
| 第三章 片上网络在基带芯片的应用与分析 | 第28-40页 |
| 3.1 基带芯片简介 | 第28-30页 |
| 3.1.1 基于ARM的SOC架构 | 第28-29页 |
| 3.1.2 基带芯片架构 | 第29-30页 |
| 3.2 移动端片上网络的结构分析 | 第30-37页 |
| 3.2.1 片上网络的基本理论 | 第30-32页 |
| 3.2.2 网络接口的结构与功能 | 第32-36页 |
| 3.2.3 路由器的结构与功能 | 第36-37页 |
| 3.3 本章小结 | 第37-40页 |
| 第四章 基于片上网络的SOC验证环境设计 | 第40-60页 |
| 4.1 e语言验证环境概述 | 第40-46页 |
| 4.1.1 验证语言与验证流程 | 第40-43页 |
| 4.1.2 验证组件eVC | 第43-45页 |
| 4.1.3 激励产生机制 | 第45-46页 |
| 4.2 移动端片上网络的验证环境 | 第46-55页 |
| 4.2.1 验证环境的结构 | 第46-48页 |
| 4.2.2 验证环境的核心 | 第48-50页 |
| 4.2.3 仿真拓扑 | 第50-52页 |
| 4.2.4 计分板 | 第52-55页 |
| 4.3 验证环境的设计与应用 | 第55-58页 |
| 4.3.1 验证平台的搭建 | 第55页 |
| 4.3.2 验证环境在片上网络的应用 | 第55-58页 |
| 4.4 本章小结 | 第58-60页 |
| 第五章 自动化验证方法的提出与实现 | 第60-80页 |
| 5.1 传统的验证环境搭建方式 | 第60-61页 |
| 5.2 自动化验证方法的提出 | 第61-71页 |
| 5.2.1 参量的选取 | 第62-65页 |
| 5.2.2 模板的设计 | 第65-66页 |
| 5.2.3 脚本工具的编码实现 | 第66-71页 |
| 5.3 自动化方法的验证与效率分析 | 第71-77页 |
| 5.3.1 自动化方法的验证 | 第72-75页 |
| 5.3.2 自动化方法的效率分析 | 第75-77页 |
| 5.4 本章小结 | 第77-80页 |
| 第六章 总结与展望 | 第80-82页 |
| 6.1 总结 | 第80页 |
| 6.2 展望 | 第80-82页 |
| 参考文献 | 第82-86页 |
| 致谢 | 第86-88页 |
| 作者简介 | 第88-89页 |
