| 摘要 | 第1-6页 |
| Abstract | 第6-15页 |
| 第一章 引言 | 第15-22页 |
| ·验证技术概论 | 第15页 |
| ·USB OTG 技术简介 | 第15-16页 |
| ·USB OTG 国内外研究现状 | 第16-19页 |
| ·课题来源及设计目标 | 第19页 |
| ·论文研究的意义 | 第19-20页 |
| ·本人的工作任务 | 第20页 |
| ·论文内容安排 | 第20-22页 |
| 第二章 验证理论 | 第22-39页 |
| ·验证的定义及其目的 | 第22页 |
| ·验证的必要性和重要性 | 第22-23页 |
| ·验证工作的重要原则 | 第23-25页 |
| ·充分性原则 | 第23-24页 |
| ·独立性原则 | 第24-25页 |
| ·常用的验证技术 | 第25-30页 |
| ·基于仿真的验证技术 | 第25-27页 |
| ·静态验证技术 | 第27-28页 |
| ·形式验证技术 | 第28-30页 |
| ·物理验证验证与分析技术 | 第30页 |
| ·功能验证的途径 | 第30-32页 |
| ·黑盒验证方法 | 第31-32页 |
| ·白盒验证方法 | 第32页 |
| ·灰盒验证方法 | 第32页 |
| ·验证流程 | 第32-37页 |
| ·自顶向下的验证流程 | 第33-34页 |
| ·自底向上的验证流程 | 第34-35页 |
| ·基于平台的验证流程 | 第35-36页 |
| ·基于系统接口驱动的验证流程 | 第36-37页 |
| ·验证计划 | 第37-39页 |
| ·验证计划的重要性 | 第37页 |
| ·验证计划的内容 | 第37-39页 |
| 第三章 USB OTG 协议 | 第39-49页 |
| ·USB2.0 协议简介 | 第39-40页 |
| ·USB 系统结构 | 第40-42页 |
| ·USB 传输基本单位 | 第42-44页 |
| ·USB 传输类型 | 第44-46页 |
| ·USB 传输错误检测和恢复机制 | 第46-47页 |
| ·EHCI 与OHCI 协议 | 第47页 |
| ·OTG 补充协议 | 第47-48页 |
| ·UTMI 协议与UTMI+协议 | 第48-49页 |
| 第四章 USB 2.0 OTG IP 核设备控制器的功能验证 | 第49-86页 |
| ·USB OTG IP 核系统结构 | 第49-57页 |
| ·IP 核实现功能 | 第49-50页 |
| ·IP 核设计流程 | 第50-51页 |
| ·IP 核系统设计及应用环境 | 第51-52页 |
| ·IP 核模块功能简介 | 第52-54页 |
| ·IP 核设备控制器介绍 | 第54-55页 |
| ·IP 核设备控制器结构 | 第55-57页 |
| ·USB OTG IP 核功能验证平台的架构 | 第57-74页 |
| ·验证工具及软件 | 第57-58页 |
| ·验证环境 | 第58-59页 |
| ·验证平台层次 | 第59-60页 |
| ·ARM 端BFM | 第60-67页 |
| ·UTMI 端BFM | 第67-71页 |
| ·Testcase 的提取 | 第71-74页 |
| ·IP 核设备控制器验证过程 | 第74-86页 |
| ·配置验证环境 | 第75页 |
| ·设备控制器的检测连接 | 第75-78页 |
| ·设备控制器基本功能验证 | 第78-79页 |
| ·设备控制器控制传输功能验证 | 第79-82页 |
| ·设备控制器批量传输功能验证 | 第82-83页 |
| ·设备控制器差错控制验证 | 第83-86页 |
| 第五章USB 2.0 OTG IP 核设备控制器的FPGA 测试 | 第86-94页 |
| ·FPGA 测试平台介绍 | 第86-88页 |
| ·FPGA 测试结果及分析 | 第88-94页 |
| ·设备连接枚举测试 | 第88-89页 |
| ·设备传输测试 | 第89-94页 |
| 第六章总结与展望 | 第94-95页 |
| ·总结 | 第94页 |
| ·展望 | 第94-95页 |
| 致谢 | 第95-96页 |
| 参考文献 | 第96-98页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第98-99页 |