| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-11页 |
| ·研究背景 | 第8-10页 |
| ·集成电路的发展历程 | 第8页 |
| ·验证面临的挑战 | 第8-10页 |
| ·研究的意义 | 第10-11页 |
| 第二章 验证方法学 | 第11-23页 |
| ·验证策略 | 第11-15页 |
| ·TOP-DOWN 设计/验证策略 | 第11-13页 |
| ·DOWN-TOP 设计/验证策略 | 第13-15页 |
| ·验证技术 | 第15-23页 |
| ·仿真技术 | 第16-20页 |
| ·静态技术 | 第20-22页 |
| ·基于FPGA 的验证 | 第22-23页 |
| 第三章 基于SCE-MI 协议的软/硬件协同验证平台 | 第23-30页 |
| ·SCEM-MI 体系结构 | 第23-26页 |
| ·硬件平台 | 第26-27页 |
| ·本论文提出的验证理论 | 第27-30页 |
| 第四章 UART 的设计 | 第30-46页 |
| ·UART 简介 | 第30-33页 |
| ·UART 结构 | 第30-31页 |
| ·UART 协议的工作特点 | 第31-33页 |
| ·UART 结构的设计与实现 | 第33-35页 |
| ·UART 通信的实现 | 第35-46页 |
| ·发送模块设计 | 第35-38页 |
| ·接收模块设计 | 第38-42页 |
| ·波特率发生器设计 | 第42-46页 |
| 第五章 基于SCEMI 协议的VIP-UART 设计 | 第46-57页 |
| ·VIP-UART 结构 | 第46-48页 |
| ·事务器设计的实现 | 第48-57页 |
| ·事务器结构实现 | 第48-49页 |
| ·下行链路的设计实现 | 第49-53页 |
| ·上行链路设计的实现 | 第53-57页 |
| 第六章 SPI 设计原理及思想 | 第57-73页 |
| ·SPI 协议介绍 | 第57-63页 |
| ·整体架构 | 第57-58页 |
| ·重要寄存器描述 | 第58-62页 |
| ·传输方式 | 第62-63页 |
| ·SPI 结构设计的实现 | 第63-65页 |
| ·SPI 通信的实现 | 第65-73页 |
| ·主控逻辑设计 | 第65-68页 |
| ·收发模块的设计 | 第68-71页 |
| ·波特率发生器的设计 | 第71-73页 |
| 第七章 VIP-SPI 的设计 | 第73-85页 |
| ·VIP-SPI 整体架构 | 第73-74页 |
| ·事务器设计的实现 | 第74-85页 |
| ·事务器结构实现 | 第74-75页 |
| ·总线控制逻辑的设计 | 第75-78页 |
| ·控制逻辑设计的实现 | 第78-81页 |
| ·收发控制逻辑设计的实现 | 第81-85页 |
| 第八章 基于SCE-MI 协议的VIP 设计试验 | 第85-93页 |
| ·基于SCE-MI 协议的软硬件协同验证系统 | 第85-86页 |
| ·试验平台介绍 | 第85-86页 |
| ·试验对象及目标 | 第86页 |
| ·验证环境的搭建 | 第86-87页 |
| ·试验验证基本框架及目的 | 第87-88页 |
| ·试验流程 | 第88页 |
| ·试验及分析 | 第88-93页 |
| ·VIP-UART 数据收发测试及分析 | 第88-89页 |
| ·UART 模块收发试验及分析 | 第89-91页 |
| ·速度测试及结果分析 | 第91-93页 |
| 第九章 总结 | 第93-95页 |
| 致谢 | 第95-96页 |
| 参考文献 | 第96-98页 |
| 攻硕期间取得的研究成果 | 第98-99页 |