| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 引言 | 第7-11页 |
| ·选题的背景 | 第7-8页 |
| ·课题的研究任务 | 第8页 |
| ·国内外发展现状分析 | 第8-10页 |
| ·研究成果和论文安排 | 第10-11页 |
| ·研究成果 | 第10页 |
| ·论文章节安排 | 第10-11页 |
| 第二章 数字IC设计概述 | 第11-17页 |
| ·数字IC设计方法学 | 第11-12页 |
| ·典型的数字IC开发流程 | 第12-14页 |
| ·IC开发过程介绍 | 第14-17页 |
| 第三章 IC验证技术 | 第17-24页 |
| ·概述 | 第17页 |
| ·主要的验证手段概述 | 第17-19页 |
| ·功能仿真技术 | 第17-19页 |
| ·静态时序分析 | 第19页 |
| ·形式验证 | 第19页 |
| ·主要的验证策略 | 第19-23页 |
| ·自顶向下的验证流程 | 第19-20页 |
| ·自底向上的验证流程 | 第20-22页 |
| ·基于平台的验证流程 | 第22页 |
| ·基于系统接口驱动的验证方法 | 第22-23页 |
| ·验证对于IC设计的重要性 | 第23-24页 |
| 第四章 构建软硬件验证平台 | 第24-33页 |
| ·验证平台组成及验证流程 | 第24-29页 |
| ·验证平台的组成 | 第24页 |
| ·硬件验证平台 | 第24-29页 |
| ·软件配置 | 第29-31页 |
| ·Spartan-IIE开发板 | 第31-33页 |
| ·开发板简介 | 第31页 |
| ·设计下载 | 第31-33页 |
| 第五章 对数字系统 FFT进行验证 | 第33-55页 |
| ·数字系统FFT简介 | 第33页 |
| ·搭建平台实现对FFT芯片的验证 | 第33-36页 |
| ·验证流程 | 第35-36页 |
| ·输入测试数据和激励 | 第36-45页 |
| ·R80515 HDL核介绍 | 第37页 |
| ·输入数据和激励 | 第37-43页 |
| ·包括IP核生成器的设计流程 | 第43-45页 |
| ·对设计进行仿真综合及实现 | 第45-47页 |
| ·生成测试模板(testbench)并进行仿真 | 第45-46页 |
| ·对设计进行综合实现 | 第46-47页 |
| ·生成验证系统的顶层原理图及相关网表文件 | 第47-51页 |
| ·网表文件生成 | 第47-50页 |
| ·建库和生成Pinmap文件 | 第50-51页 |
| ·对FFT芯片验证的Explorer软件配置 | 第51-52页 |
| ·检查验证结果及进行调试 | 第52-55页 |
| ·对数据的分析和验证 | 第52-53页 |
| ·验证过程中获得的经验 | 第53-55页 |
| 第六章 总结 | 第55-57页 |
| ·对数字系统验证的小结 | 第55页 |
| ·设计的不足之处 | 第55-56页 |
| ·今后工作的展望 | 第56-57页 |
| 致谢 | 第57-58页 |
| 参考文献 | 第58-60页 |
| 附录 A component hole pattern of MP3C | 第60-61页 |
| 附录 B FFT仿真输入输出 | 第61-62页 |
| 附录 C 51测试程序 | 第62-68页 |
| 附录 D Spartan-IIE J7用户I/O连接器针分配 | 第68-69页 |
| 附录 E 生成的EDIF网表 | 第69-71页 |
| 附录 F 生成的pinmap文件 | 第71-74页 |
| 附录 G 调试FFT芯片的输入/输出波形 | 第74页 |