基于SystemVerilog的图像处理单元模块验证的研究
| 摘要 | 第6-8页 |
| ABSTRACT | 第8-9页 |
| 缩略语对照表 | 第13-16页 |
| 第一章 绪论 | 第16-24页 |
| 1.1 课题背景及研究意义 | 第16-18页 |
| 1.1.1 GPU的发展背景 | 第16-17页 |
| 1.1.2 验证的发展背景 | 第17-18页 |
| 1.1.3 课题的研究意义 | 第18页 |
| 1.2 国内外研究现状 | 第18-21页 |
| 1.2.1 GPU研究现状 | 第18-20页 |
| 1.2.2 验证语言研究现状 | 第20-21页 |
| 1.3 本文的组织结构 | 第21-24页 |
| 第二章 功能验证及SystemVerilog语言 | 第24-34页 |
| 2.1 功能验证技术方法 | 第24-30页 |
| 2.1.1 功能验证的途径 | 第24-25页 |
| 2.1.2 功能验证流程 | 第25-28页 |
| 2.1.3 功能验证技术 | 第28-30页 |
| 2.2 SystemVerilog验证语言 | 第30-33页 |
| 2.3 本章小结 | 第33-34页 |
| 第三章 图像处理单元模块功能架构 | 第34-50页 |
| 3.1 OpenGL简介 | 第34-35页 |
| 3.2 图像处理单元模块架构 | 第35-38页 |
| 3.2.1 GPU图形流水线结构 | 第35-36页 |
| 3.2.2 图像处理单元模块架构简介 | 第36-37页 |
| 3.2.3 涉及OpenGL函数 | 第37-38页 |
| 3.3 图像处理单元模块功能详解 | 第38-48页 |
| 3.3.1 图像管线功能 | 第40-42页 |
| 3.3.2 图像处理子集功能 | 第42-45页 |
| 3.3.3 纹理操作功能 | 第45-47页 |
| 3.3.4 像素操作功能 | 第47-48页 |
| 3.3.5 参数存储功能 | 第48页 |
| 3.4 本章小结 | 第48-50页 |
| 第四章 功能验证平台搭建 | 第50-66页 |
| 4.1 功能点提取 | 第50-52页 |
| 4.2 验证环境结构 | 第52-53页 |
| 4.3 验证环境解析 | 第53-65页 |
| 4.3.1 基于interface的功能总线模型 | 第53-59页 |
| 4.3.2 参考模型 | 第59-62页 |
| 4.3.3 monitor监控器 | 第62-63页 |
| 4.3.4 function_task函数集合 | 第63-64页 |
| 4.3.5 testcase | 第64-65页 |
| 4.4 本章小结 | 第65-66页 |
| 第五章 功能仿真及结果分析 | 第66-86页 |
| 5.1 功能仿真过程及结果分析 | 第66-81页 |
| 5.1.1 基本资源测试 | 第66页 |
| 5.1.2 函数功能测试 | 第66-75页 |
| 5.1.3 图像处理单元内部模块功能测试 | 第75-76页 |
| 5.1.4 异常测试 | 第76-78页 |
| 5.1.5 边界测试 | 第78-80页 |
| 5.1.6 覆盖率收集及分析 | 第80-81页 |
| 5.2 设计效果评估 | 第81-84页 |
| 5.3 本章小结 | 第84-86页 |
| 第六章 总结展望 | 第86-88页 |
| 6.1 总结 | 第86页 |
| 6.2 展望 | 第86-88页 |
| 参考文献 | 第88-92页 |
| 致谢 | 第92-94页 |
| 作者简介 | 第94-95页 |
