| 摘要 | 第1-5页 |
| ABSTRACT | 第5-13页 |
| 第一章 引言 | 第13-18页 |
| ·IP 验证技术概述 | 第13-14页 |
| ·CARDBUS-AHB 总线桥 IP 的研究意义 | 第14-15页 |
| ·国内外研究现状 | 第15-16页 |
| ·本论文的研究内容和实现目标 | 第16-18页 |
| 第二章 ASIC 设计流程及相关工具简介 | 第18-30页 |
| ·ASIC 设计流程 | 第18-19页 |
| ·SYNOPSYS 提供的相关工具 | 第19-21页 |
| ·验证技术简介 | 第21-27页 |
| ·功能验证流程 | 第27-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 CARDBUS-AHB 总线桥 IP 的总体方案和功能分析 | 第30-40页 |
| ·CARDBUS 的协议原理 | 第30-34页 |
| ·AHB 的协议原理 | 第34-36页 |
| ·CARDBUS-AHB 总线桥 IP 的总体框图 | 第36-37页 |
| ·CARDBUS-AHB 总线桥 IP 的功能分析 | 第37-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 CARDBUS-AHB 总线桥 IP 的验证方案设计 | 第40-56页 |
| ·系统结构设计 | 第40-45页 |
| ·模块设计 | 第45-54页 |
| ·文件组织结构的设立 | 第54-55页 |
| ·本章小结 | 第55-56页 |
| 第五章 CARDBUS-AHB 总线桥 IP 的验证设计及实现 | 第56-70页 |
| ·测试用例的设计及实现 | 第56-66页 |
| ·验证环境的建立 | 第66-69页 |
| ·本章小结 | 第69-70页 |
| 第六章 CARDBUS-AHB 总线桥 IP 的测试和结果分析 | 第70-81页 |
| ·逐条测试以及回归 | 第70-73页 |
| ·结果分析 | 第73-80页 |
| ·本章小结 | 第80-81页 |
| 第七章 结论与展望 | 第81-83页 |
| ·结论 | 第81-82页 |
| ·展望 | 第82-83页 |
| 致谢 | 第83-84页 |
| 参考文献 | 第84-86页 |
| 个人简历 | 第86-87页 |
| 攻读硕士学位期间的研究成果 | 第87-88页 |
