| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 1 绪论 | 第8-12页 |
| 1.1 课题背景 | 第8-9页 |
| 1.2 研究现状 | 第9-11页 |
| 1.3 本文主要内容及章节规划 | 第11-12页 |
| 2 SOC功能验证 | 第12-21页 |
| 2.1 仿真验证 | 第12-14页 |
| 2.2 形式验证 | 第14-16页 |
| 2.3 原型验证 | 第16-20页 |
| 2.4 本章小结 | 第20-21页 |
| 3 SOC原型验证方案及其实现 | 第21-42页 |
| 3.1 验证方案 | 第21-24页 |
| 3.2 测试程序开发 | 第24-26页 |
| 3.3 代码移植 | 第26-32页 |
| 3.4 测试激励生成 | 第32-38页 |
| 3.5 测试结果观测 | 第38-41页 |
| 3.6 本章小结 | 第41-42页 |
| 4 SOC原型验证过程 | 第42-48页 |
| 4.1 模块级功能验证 | 第42-43页 |
| 4.2 系统级功能验证 | 第43-47页 |
| 4.3 本章小结 | 第47-48页 |
| 5 总结与展望 | 第48-50页 |
| 5.1 全文总结 | 第48页 |
| 5.2 课题展望 | 第48-50页 |
| 致谢 | 第50-51页 |
| 参考文献 | 第51-53页 |