| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景 | 第7-8页 |
| ·SoC验证的重要性及迫切性 | 第8-9页 |
| ·选题来源 | 第9-10页 |
| ·主要工作与论文结构 | 第10-11页 |
| 第二章 SoC验证技术 | 第11-29页 |
| ·验证的概念 | 第11-13页 |
| ·SoC验证流程 | 第13-17页 |
| ·SoC验证系统 | 第17-21页 |
| ·高级验证方法学 | 第21-27页 |
| ·本章小结 | 第27-29页 |
| 第三章 GPS/北斗Ⅱ双模基带芯片的Vera验证方案设计 | 第29-45页 |
| ·GPS/北斗Ⅱ双模基带芯片的设计介绍 | 第29-38页 |
| ·GPS/北斗Ⅱ模基带芯片的验证方案设定 | 第38-43页 |
| ·本章小结 | 第43-45页 |
| 第四章 GPS/北斗Ⅱ双模基带芯片验证工作的具体实现 | 第45-69页 |
| ·Vera语言的具体操作方法 | 第45-48页 |
| ·验证平台各层次的设计 | 第48-53页 |
| ·验证平台的自动化运行 | 第53-55页 |
| ·捕获模块级的功能验证 | 第55-60页 |
| ·跟踪模块级的功能验证 | 第60-64页 |
| ·芯片系统级的功能验证 | 第64-68页 |
| ·本章小结 | 第68-69页 |
| 第五章 覆盖率及验证平台重用性分析 | 第69-75页 |
| ·覆盖率分析 | 第69-71页 |
| ·验证平台重用性分析 | 第71-73页 |
| ·本章小结 | 第73-75页 |
| 第六章 结束语 | 第75-77页 |
| ·总结 | 第75页 |
| ·展望 | 第75-77页 |
| 参考文献 | 第77-79页 |
| 硕士期间发表论文 | 第79-81页 |
| 致谢 | 第81页 |