中科SoC通用验证平台及验证方法学研究
| 第1章 绪论 | 第1-21页 |
| ·研究背景与意义 | 第17-19页 |
| ·主要工作与论文结构 | 第19-21页 |
| 第2章 SOC设计及中科SOC | 第21-29页 |
| ·SoC的设计 | 第21-24页 |
| ·中科SoC介绍及其总体结构 | 第24-29页 |
| 第3章 SOC验证 | 第29-41页 |
| ·SoC验证概括 | 第29页 |
| ·SoC验证流程 | 第29-34页 |
| ·模块级验证与系统级验证 | 第34-36页 |
| ·验证平台介绍 | 第36-41页 |
| 第4章 SOC验证方法 | 第41-54页 |
| ·设计验证及方法 | 第41-51页 |
| ·集成的设计验证方法 | 第51-54页 |
| 第5章 验证IP的设计 | 第54-62页 |
| ·验证IP介绍 | 第54-55页 |
| ·传统的对模块的验证方法 | 第55-57页 |
| ·可重用于不同总线的验证IP的方法 | 第57-60页 |
| ·实验结果和两种方法的比较 | 第60-62页 |
| 第6章 中科SOC通用验证平台设计 | 第62-74页 |
| ·通用验证平台的目标和策略 | 第62-63页 |
| ·通用验证平台的结构 | 第63-66页 |
| ·AC97 DATAPATH的验证 | 第66-71页 |
| ·芯片级的验证 | 第71-73页 |
| ·中科SoC通用验证平台的特点 | 第73-74页 |
| 第7章 总结与展望 | 第74-76页 |
| 致谢 | 第76-77页 |
| 参考文献 | 第77-80页 |
