| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 第一章 绪论 | 第11-15页 |
| ·IC 验证技术概述 | 第11-12页 |
| ·国内外验证技术研究现状 | 第12-13页 |
| ·USB-AHB 桥IP 的研究意义 | 第13-14页 |
| ·本论文的研究内容以及最终目标 | 第14-15页 |
| 第二章 USB2.0-AHB 桥的功能概述 | 第15-26页 |
| ·USB 总线协议概述 | 第15-19页 |
| ·AHB 总线协议概述 | 第19-21页 |
| ·USB2.0-AHB 桥的功能概述 | 第21-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 IC 设计的功能验证技术介绍 | 第26-33页 |
| ·功能验证方法介绍 | 第26-27页 |
| ·功能验证的流程介绍 | 第27-29页 |
| ·功能验证工具介绍 | 第29-32页 |
| ·VERIFICATION IP 介绍 | 第32页 |
| ·本章小结 | 第32-33页 |
| 第四章 USB2.0-AHB 桥的功能验证环境及验证平台设计 | 第33-51页 |
| ·验证工具的选择 | 第33页 |
| ·验证环境框图 | 第33-34页 |
| ·验证环境中各个模块介绍 | 第34-38页 |
| ·验证环境搭建 | 第38-49页 |
| ·本章小结 | 第49-51页 |
| 第五章 USB2.0-AHB 桥的功能验证测试用例设计 | 第51-79页 |
| ·测试效用包（UTILITY）的提取 | 第51-59页 |
| ·测试用例的设计 | 第59-74页 |
| ·测试用例的自动化生成设计 | 第74-75页 |
| ·测试用例的自检测设计 | 第75页 |
| ·测试用例的回归验证设计 | 第75-78页 |
| ·本章小结 | 第78-79页 |
| 第六章 USB2.0-AHB 桥的功能验证测试结果分析 | 第79-86页 |
| ·IP CORE 的各种覆盖率达到情况分析 | 第79-81页 |
| ·IP 各个通道在FPGA 中的测试 | 第81-85页 |
| ·本章小结 | 第85-86页 |
| 第七章 结论和展望 | 第86-87页 |
| 致谢 | 第87-88页 |
| 参考文献 | 第88-90页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第90-91页 |
