| 第一章 引言 | 第1-22页 |
| ·集成电路的发展 | 第9-13页 |
| ·功能验证简介 | 第13-14页 |
| ·功能验证关键技术及现状 | 第14-17页 |
| ·功能验证的意义及挑战 | 第17-18页 |
| ·问题的提出和研究内容 | 第18-19页 |
| ·主要工作和研究成果 | 第19-20页 |
| ·本文主要贡献和结构安排 | 第20-22页 |
| 第二章 验证理论及方法研究 | 第22-38页 |
| ·验证理论概述 | 第22-29页 |
| ·验证方法研究 | 第29-38页 |
| 第三章 THUASDSP2004 处理器分析 | 第38-48页 |
| ·THUASDSP2004 处理器结构 | 第39-42页 |
| ·THUASDSP2004 处理器指令集 | 第42-47页 |
| ·THUASDSP2004 处理器验证难点 | 第47-48页 |
| 第四章 THUASDSP2004 处理器的功能验证 | 第48-75页 |
| ·验证策略 | 第48-50页 |
| ·验证策略的提出 | 第50页 |
| ·验证环境 | 第50-53页 |
| ·伪随机测试矢量生成 | 第53-64页 |
| ·手动测试矢量的编写 | 第64-65页 |
| ·汇编器的设计 | 第65-75页 |
| 第五章 实验结果分析 | 第75-79页 |
| 第六章 总结 | 第79-80页 |
| 致谢 | 第80-81页 |
| 参考文献 | 第81-84页 |
| 攻硕期间发表的学术论文 | 第84页 |