| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 第1章 绪论 | 第12-15页 |
| ·课题来源和意义 | 第12-13页 |
| ·研究内容 | 第13-14页 |
| ·论文工作 | 第14页 |
| ·论文结构 | 第14-15页 |
| 第2章 图形加速系统及相关研究 | 第15-19页 |
| ·图形加速 | 第15-16页 |
| ·嵌入式图形加速系统 | 第16-18页 |
| ·概述 | 第16页 |
| ·基于MCU 的图形加速系统 | 第16页 |
| ·基于MCU 和可编程逻辑实现 LCD 控制器的图形加速系统 | 第16-17页 |
| ·基于图形加速芯卡的片上图形加速系统 | 第17-18页 |
| ·小结 | 第18-19页 |
| 第3章 SoC 功能验证 | 第19-36页 |
| ·SoC 及相关概念 | 第19页 |
| ·SoC 功能验证及相关概念 | 第19-22页 |
| ·验证的定义 | 第19-21页 |
| ·功能验证 | 第21-22页 |
| ·SoC 功能验证现状研究 | 第22-35页 |
| ·常用验证工具 | 第23-29页 |
| ·常用验证技术 | 第29-33页 |
| ·验证方法学研究现状 | 第33-34页 |
| ·图形加速系统功能验证研究现状 | 第34-35页 |
| ·小结 | 第35-36页 |
| 第4章 基于Tcl 的功能验证平台设计 | 第36-46页 |
| ·片上图形加速系统功能验证概述 | 第36页 |
| ·基于Tcl 的功能验证概述 | 第36-37页 |
| ·模块级功能验证平台设计 | 第37-39页 |
| ·子系统级功能验证平台设计 | 第39-41页 |
| ·总体描述及平台架构 | 第39页 |
| ·约束随机激励模块 | 第39-40页 |
| ·断言监控模块 | 第40-41页 |
| ·系统级功能验证平台设计 | 第41-45页 |
| ·总体描述及平台架构 | 第41-42页 |
| ·激励产生模块 | 第42页 |
| ·总线功能模型 | 第42-43页 |
| ·响应检测模块 | 第43-45页 |
| ·小结 | 第45-46页 |
| 第5章 基于模拟加速的功能验证平台设计 | 第46-52页 |
| ·基于模拟加速的功能验证概述 | 第46页 |
| ·模拟加速技术的基本原理 | 第46-48页 |
| ·基于模拟加速的功能验证平台设计 | 第48-51页 |
| ·总体描述及平台架构 | 第48-49页 |
| ·约束随机激励模块 | 第49页 |
| ·Verilog PLI 系统调用和 C/C++代码编写 | 第49页 |
| ·各功能模块到逻辑模拟器和FPGA 的映射方法 | 第49-51页 |
| ·小结 | 第51-52页 |
| 第6章 验证平台测试与评价 | 第52-61页 |
| ·片上图形加速系统内部架构 | 第52-53页 |
| ·基于Tcl 验证平台的实验验证 | 第53-57页 |
| ·模块级验证 | 第53-54页 |
| ·子系统级验证 | 第54-55页 |
| ·系统级验证 | 第55-57页 |
| ·基于模拟加速验证平台的实验验证 | 第57-59页 |
| ·基于模拟加速验证平台的验证步骤 | 第57-58页 |
| ·基于模拟加速验证平台的验证结果分析 | 第58-59页 |
| ·实验结论 | 第59-60页 |
| ·小结 | 第60-61页 |
| 结论 | 第61-63页 |
| 1. 本文工作总结 | 第61页 |
| 2. 下一步工作展望 | 第61-63页 |
| 参考文献 | 第63-66页 |
| 致谢 | 第66-67页 |
| 附录A 攻读学位期间所发表的学术论文目录 | 第67页 |