X-DSP中DMA验证平台的设计与实现
| 摘要 | 第10-11页 |
| ABSTRACT | 第11页 |
| 第一章 绪论 | 第12-17页 |
| 1.1 课题研究背景 | 第12-15页 |
| 1.2 课题研究主要内容 | 第15-16页 |
| 1.3 论文结构 | 第16-17页 |
| 第二章 验证方法综述 | 第17-33页 |
| 2.1 验证技术的研究 | 第17-20页 |
| 2.1.1 基于模拟的验证 | 第17-18页 |
| 2.1.2 基于形式方法的验证 | 第18-19页 |
| 2.1.3 基于模拟和形式方法验证的比较 | 第19-20页 |
| 2.2 验证方法学的研究 | 第20-24页 |
| 2.2.1 高级验证方法学 | 第20-21页 |
| 2.2.2 可重用性 | 第21-22页 |
| 2.2.3 受约束随机激励 | 第22-23页 |
| 2.2.4 功能覆盖率 | 第23-24页 |
| 2.3 DMA功能与验证策略 | 第24-32页 |
| 2.3.1 DMA功能分析 | 第24-25页 |
| 2.3.2 DMA传输模式 | 第25-26页 |
| 2.3.3 DMA传输参数 | 第26-29页 |
| 2.3.4 DMA接口协议 | 第29-30页 |
| 2.3.5 DMA验证策略 | 第30-32页 |
| 2.4 本章小结 | 第32-33页 |
| 第三章 基于Verilog模块级验证平台的实现 | 第33-48页 |
| 3.1 模块级验证平台架构 | 第33-34页 |
| 3.2 双通道参数读取 | 第34-36页 |
| 3.3 数据存储体 | 第36页 |
| 3.4 参考模型的搭建 | 第36-43页 |
| 3.4.1 点到点矩阵传输模型 | 第36-37页 |
| 3.4.2 矩阵转置传输模型 | 第37-39页 |
| 3.4.3 多基址传输模型 | 第39-41页 |
| 3.4.4 多播广播传输模型 | 第41-43页 |
| 3.5 比对模块 | 第43-45页 |
| 3.5.1 点到点矩阵传输自动比对 | 第43页 |
| 3.5.2 矩阵转置传输自动比对 | 第43页 |
| 3.5.3 多基址传输自动比对 | 第43-44页 |
| 3.5.4 多播广播传输自动比对 | 第44-45页 |
| 3.6 验证结果与分析 | 第45-46页 |
| 3.7 本章小结 | 第46-48页 |
| 第四章 基于VMM模块级验证平台验证平台的实现 | 第48-59页 |
| 4.1 VMM验证平台架构 | 第48-54页 |
| 4.1.1 平台架构与组件 | 第48-49页 |
| 4.1.2 基于SystemVerilog接口 | 第49-50页 |
| 4.1.3 激励数据结构 | 第50-52页 |
| 4.1.4 事务处理器 | 第52-53页 |
| 4.1.5 记分板 | 第53-54页 |
| 4.1.6 验证环境与顶层 | 第54页 |
| 4.2 基于功能覆盖率 | 第54-55页 |
| 4.3 DMA仿真与结果分析 | 第55-58页 |
| 4.3.1 DMA仿真 | 第55-56页 |
| 4.3.2 DMA仿真结果分析 | 第56-58页 |
| 4.4 本章小结 | 第58-59页 |
| 第五章 基于Shell脚本系统级验证 | 第59-72页 |
| 5.1 系统级验证研究 | 第59页 |
| 5.2 系统级验证平台架构概述 | 第59-63页 |
| 5.2.1 激励产生 | 第60-63页 |
| 5.2.2 Shell模型概述 | 第63页 |
| 5.3 点到点矩阵传输模型的搭建与比对 | 第63-66页 |
| 5.3.1 读请求的处理 | 第64-65页 |
| 5.3.2 读返回数据的处理与比对 | 第65-66页 |
| 5.4 多基址传输模型的搭建与比对 | 第66-69页 |
| 5.5 矩阵转置传输模型的搭建与比对 | 第69-71页 |
| 5.6 本章小结 | 第71-72页 |
| 第六章 结束语 | 第72-74页 |
| 6.1 全文总结 | 第72-73页 |
| 6.2 工作展望 | 第73-74页 |
| 致谢 | 第74-75页 |
| 参考文献 | 第75-77页 |
| 作者在学期间取得的学术成果 | 第77页 |
