| 摘要 | 第1-5页 |
| ABSTRACT | 第5-13页 |
| 第一章 引言 | 第13-18页 |
| ·验证的目的 | 第13页 |
| ·验证的意义 | 第13-14页 |
| ·验证方法学发展概况 | 第14-15页 |
| ·验证的术语解释 | 第15-16页 |
| ·本论文课题背景 | 第16-17页 |
| ·本文主要内容及章节安排 | 第17-18页 |
| 第二章 集成电路验证方法学 | 第18-28页 |
| ·数字集成电路的设计流程 | 第18-20页 |
| ·验证的层次划分 | 第20-21页 |
| ·系统级验证 | 第20页 |
| ·功能验证 | 第20-21页 |
| ·门级验证 | 第21页 |
| ·版图验证 | 第21页 |
| ·验证方法的多样性 | 第21-23页 |
| ·静态验证 | 第21-22页 |
| ·动态验证 | 第22-23页 |
| ·验证的效率 | 第23-26页 |
| ·验证抽象层次与验证效率 | 第23-24页 |
| ·影响动态仿真时间的因素 | 第24-25页 |
| ·验证自动化与验证效率 | 第25页 |
| ·验证模块的复用与验证效率 | 第25页 |
| ·随机验证与验证效率 | 第25-26页 |
| ·覆盖率 | 第26页 |
| ·此次验证提高验证效率的方法 | 第26-28页 |
| 第三章 PC CARD总线分析 | 第28-36页 |
| ·PC CARD总线信号分类与说明 | 第28-29页 |
| ·PC CARD总线操作概述 | 第29-36页 |
| ·Common Memory空间的访问 | 第30-32页 |
| ·Attribute Memory空间的访问 | 第32-33页 |
| ·I/O空间的访问 | 第33-36页 |
| 第四章 PC卡总线功能模型的建立 | 第36-56页 |
| ·总线功能模型简介 | 第36页 |
| ·基于总线功能模型验证的优势 | 第36-37页 |
| ·总线功能模型的独立性 | 第36-37页 |
| ·总线功能模型的可复用性 | 第37页 |
| ·总线功能模型对验证效率的贡献 | 第37页 |
| ·PC卡总线功能模型的设计 | 第37-52页 |
| ·PC卡总线功能模型的层次结构 | 第38-39页 |
| ·延时控制子模块 | 第39-40页 |
| ·信号配置子模块 | 第40-41页 |
| ·卡参数配置子模块 | 第41-42页 |
| ·构造总线功能模型唯一的存储单元 | 第42-43页 |
| ·读写子模块 | 第43-48页 |
| ·读写操作中WAIT#信号的控制 | 第43-44页 |
| ·I/O读操作子模块 | 第44-45页 |
| ·I/O写操作子模块 | 第45-46页 |
| ·Common/Attribute Memory读/写操作子模块 | 第46-48页 |
| ·PC卡总线功能模型的实现 | 第48-52页 |
| ·避免数据总线的不定态 | 第49-50页 |
| ·避免卡输出控制信号的不定态和高阻态 | 第50-52页 |
| ·PC CARD总线监控器 | 第52-54页 |
| ·操作类型检测和记录 | 第52-53页 |
| ·信号时序的验证 | 第53-54页 |
| ·总线功能模型设计方法小结 | 第54-56页 |
| 第五章 AHB－PC CARD桥接器软核 | 第56-69页 |
| ·AHB协议原理 | 第56-60页 |
| ·AHB总线结构 | 第56-57页 |
| ·AHB总线的信号 | 第57-59页 |
| ·控制信号 | 第57页 |
| ·数据传输相关的信号 | 第57-58页 |
| ·总线仲裁相关信号 | 第58-59页 |
| ·AHB总线的数据传输 | 第59-60页 |
| ·AHB 总线的传输类型和传输方式 | 第59-60页 |
| ·AHB Slave对传输的响应 | 第60页 |
| ·AHB－PC CARD桥接器在系统中的作用及位置 | 第60-61页 |
| ·AHB－PC CARD桥接器的架构 | 第61-62页 |
| ·AHB－PC CARD桥的功能分析 | 第62-69页 |
| ·桥的寄存器空间 | 第62-64页 |
| ·桥和PC卡在系统中的地址映射 | 第64-65页 |
| ·卡上空间的寻址方式 | 第65页 |
| ·卡检测与上电过程 | 第65-66页 |
| ·配置桥及卡 | 第66页 |
| ·系统向桥发起传输 | 第66-68页 |
| ·卡发起中断的路由 | 第68页 |
| ·卡移除过程 | 第68-69页 |
| 第六章 AHB－PC CARD软核的功能验证及其效果分析 | 第69-101页 |
| ·验证的流程 | 第69-72页 |
| ·验证环境 | 第72-80页 |
| ·结构化验证平台的优点及其实现 | 第72-76页 |
| ·验证工具箱（Utility Routines）模块 | 第73页 |
| ·Test Harness模块 | 第73页 |
| ·ARM总线功能模型 | 第73-74页 |
| ·AHB Master总线功能模型 | 第74页 |
| ·AHB BUS总线功能模型 | 第74-75页 |
| ·AHB BUS Monitor总线功能模型 | 第75页 |
| ·时钟和复位产生模块 | 第75页 |
| ·插拔卡总线功能模型 | 第75-76页 |
| ·16-bit PC卡及PC Card总线监控器总线功能模型 | 第76页 |
| ·验证激励模块 | 第76页 |
| ·验证工具箱（Utility Routine）的设计 | 第76-80页 |
| ·验证用例的设计 | 第80-89页 |
| ·验证用例的分类 | 第80-81页 |
| ·验证用例的设计 | 第81-84页 |
| ·验证用例举例 | 第84-88页 |
| ·实现验证用例时提高验证效率 | 第88-89页 |
| ·动态仿真原理、问题及对策 | 第89-94页 |
| ·仿真器仿真并行进程的原理及其带来的问题 | 第89-90页 |
| ·验证中的并行操作及其实现方法 | 第90-91页 |
| ·避免仿真器被进程独占 | 第91-92页 |
| ·避免竞争的产生 | 第92-93页 |
| ·用于仿真控制的Run脚本 | 第93-94页 |
| ·用桥寄存器的仿真模型提高验证效率并缩短研发周期 | 第94-95页 |
| ·回归验证 | 第95页 |
| ·验证结果分析 | 第95-100页 |
| ·Perl脚本在结果分析中的应用 | 第96-97页 |
| ·对覆盖率的分析 | 第97-100页 |
| ·覆盖率与边界情况的验证 | 第97-98页 |
| ·覆盖率与RTL代码的优化 | 第98页 |
| ·最终验证覆盖率 | 第98-100页 |
| ·验证性能分析 | 第100-101页 |
| 第七章 结论与展望 | 第101-103页 |
| ·结论 | 第101页 |
| ·未来展望 | 第101-103页 |
| 致谢 | 第103-104页 |
| 参考文献 | 第104-106页 |
| 作者简介及研究成果 | 第106-107页 |
