基于VMM验证方法学的SPI模块级验证平台的研究
| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 符号对照表 | 第11-12页 |
| 缩略语对照表 | 第12-15页 |
| 第一章 绪论 | 第15-19页 |
| 1.1 课题研究背景 | 第15-16页 |
| 1.2 课题研究现状 | 第16-17页 |
| 1.3 本文主要工作 | 第17-19页 |
| 第二章 功能验证与VMM验证方法学 | 第19-33页 |
| 2.1 功能验证概论 | 第19-22页 |
| 2.1.2 验证平台的主要功能 | 第19-20页 |
| 2.1.3 功能验证的主要流程 | 第20-22页 |
| 2.2 VMM验证方法学 | 第22-32页 |
| 2.2.1 受约束的随机测试 | 第22-25页 |
| 2.2.2 多层次的验证平台 | 第25-29页 |
| 2.2.3 断言技术 | 第29-30页 |
| 2.2.4 由覆盖率驱动的验证流程 | 第30-31页 |
| 2.2.5 VMM的标准库类 | 第31-32页 |
| 2.3 本章小结 | 第32-33页 |
| 第三章 SPI模块设计 | 第33-51页 |
| 3.1 SPI工作协议 | 第33-35页 |
| 3.2 AHB总线协议 | 第35-37页 |
| 3.3 基于AHB总线的SPI控制器设计 | 第37-49页 |
| 3.3.1 SPI模块的基本划分 | 第37-38页 |
| 3.3.2 SPI控制器的接口信号定义 | 第38-40页 |
| 3.3.3 SPI控制器子模块的设计 | 第40-46页 |
| 3.3.4 读写方式的控制逻辑 | 第46-49页 |
| 3.4 本章小结 | 第49-51页 |
| 第四章 SPI模块级验证平台的搭建 | 第51-71页 |
| 4.1 SPI模块的验证功能点 | 第51-52页 |
| 4.2 SPI验证平台的搭建 | 第52-68页 |
| 4.2.1 验证平台整体结构 | 第52-53页 |
| 4.2.2 验证平台的顶层环境 | 第53-56页 |
| 4.2.3 计分板组件的定义 | 第56-58页 |
| 4.2.4 接口的实现 | 第58-59页 |
| 4.2.5 监视器组件的定义 | 第59-61页 |
| 4.2.6 参考模型的建立 | 第61-64页 |
| 4.2.7 功能覆盖率的定义 | 第64-67页 |
| 4.2.8 断言属性的应用 | 第67-68页 |
| 4.3 测试用例的编写 | 第68-69页 |
| 4.4 本章小结 | 第69-71页 |
| 第五章 SPI模块的验证结果 | 第71-81页 |
| 5.1 仿真环境 | 第71页 |
| 5.2 测试用例的仿真结果 | 第71-72页 |
| 5.3 覆盖率报告 | 第72-75页 |
| 5.3.1 代码覆盖率情况 | 第72-74页 |
| 5.3.2 断言覆盖率情况 | 第74页 |
| 5.3.3 功能覆盖率情况 | 第74-75页 |
| 5.4 验证过程中的部分波形 | 第75-79页 |
| 5.5 验证结果分析 | 第79-80页 |
| 5.6 本章小结 | 第80-81页 |
| 第六章 总结与展望 | 第81-83页 |
| 6.1 总结 | 第81-82页 |
| 6.2 论文不足 | 第82页 |
| 6.3 展望 | 第82-83页 |
| 参考文献 | 第83-85页 |
| 致谢 | 第85-87页 |
| 作者简介 | 第87-88页 |
