| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 缩略语对照表 | 第11-15页 |
| 第一章 绪论 | 第15-21页 |
| 1.1 研究背景与意义 | 第15-16页 |
| 1.2 国内外发展现状 | 第16-19页 |
| 1.2.1 USB协议进展 | 第16-17页 |
| 1.2.2 验证语言进展 | 第17-19页 |
| 1.3 研究目标与内容 | 第19页 |
| 1.4 论文章节安排 | 第19-21页 |
| 第二章 功能验证和UVM方法学研究 | 第21-29页 |
| 2.1 功能验证的意义 | 第21-23页 |
| 2.2 UVM验证方法学研究 | 第23-27页 |
| 2.2.1 验证平台基本架构 | 第23-24页 |
| 2.2.2 基于UVC的验证平台综述 | 第24-27页 |
| 2.3 UVM验证环境常用的方法 | 第27-28页 |
| 2.4 本章小结 | 第28-29页 |
| 第三章 USB 3.1功能研究与验证需求分析 | 第29-41页 |
| 3.1 USB 3.1体系结构与标准规范 | 第29-31页 |
| 3.1.1 USB 3.1系统概述 | 第29-30页 |
| 3.1.2 USB 3.1与USB 2.0总线性能差异 | 第30-31页 |
| 3.2 USB 3.1通信结构分析 | 第31-34页 |
| 3.2.1 USB 3.1分层结构模型 | 第31-32页 |
| 3.2.2 USB 3.1物理层研究 | 第32-33页 |
| 3.2.3 USB 3.1链路层研究 | 第33-34页 |
| 3.2.4 USB 3.1协议层研究 | 第34页 |
| 3.3 USB 3.1数据传输分析 | 第34-37页 |
| 3.3.1 USB 3.1传输协议改进 | 第34-35页 |
| 3.3.2 USB 3.1数据流方向 | 第35-36页 |
| 3.3.3 USB 3.1数据包类型 | 第36-37页 |
| 3.3.4 USB 3.1数据传输类型 | 第37页 |
| 3.4 验证需求分析 | 第37-39页 |
| 3.5 项目背景及开展流程 | 第39-40页 |
| 3.5.1 USB 3.1系统验证项目背景 | 第39页 |
| 3.5.2 验证工作开展流程及规划 | 第39-40页 |
| 3.6 本章小结 | 第40-41页 |
| 第四章 USB 3.1验证环境设计 | 第41-65页 |
| 4.1 USB 3.1系统级设计架构 | 第41-42页 |
| 4.2 环境中的数据通路 | 第42-43页 |
| 4.2.1 读USB设备 | 第42-43页 |
| 4.2.2 写USB设备 | 第43页 |
| 4.3 USB 3.1系统级验证环境设计 | 第43-49页 |
| 4.3.1 验证组件架构设计 | 第43-45页 |
| 4.3.2 配置UVC | 第45-49页 |
| 4.4 编写测试激励 | 第49-57页 |
| 4.4.1 链路层sequence设计 | 第49-55页 |
| 4.4.2 数据传输sequence设计 | 第55-57页 |
| 4.5 随机化测试用例设计 | 第57-61页 |
| 4.5.1 测试用例标准结构 | 第57-59页 |
| 4.5.2 参数化的随机测试用例 | 第59-61页 |
| 4.6 断言模块设计 | 第61-64页 |
| 4.6.1 断言设计流程 | 第62页 |
| 4.6.2 功能序列断言 | 第62-63页 |
| 4.6.3 基于UVC的信号状态监测断言 | 第63-64页 |
| 4.7 本章小结 | 第64-65页 |
| 第五章 仿真与覆盖率分析 | 第65-75页 |
| 5.1 仿真方案与结果 | 第65-67页 |
| 5.1.1 仿真方案 | 第65页 |
| 5.1.2 仿真结果 | 第65-67页 |
| 5.2 仿真bug举例 | 第67-68页 |
| 5.3 收集覆盖率 | 第68-74页 |
| 5.3.1 覆盖率概述 | 第68-69页 |
| 5.3.2 添加覆盖组 | 第69-70页 |
| 5.3.3 覆盖率结果 | 第70-74页 |
| 5.4 本章小结 | 第74-75页 |
| 第六章 总结与展望 | 第75-77页 |
| 6.1 工作总结 | 第75-76页 |
| 6.2 后续展望 | 第76-77页 |
| 参考文献 | 第77-79页 |
| 致谢 | 第79-81页 |
| 作者简介 | 第81页 |