| 摘要 | 第3-4页 |
| ABSTRACT | 第4页 |
| 第一章 绪论 | 第7-14页 |
| 1.1 功能验证方法的发展 | 第7-9页 |
| 1.2 验证语言的发展与SystemVerilog | 第9-10页 |
| 1.3 验证方法学概述 | 第10-11页 |
| 1.4 VMM 验证方法学 | 第11-13页 |
| 1.5 本文研究内容与章节安排 | 第13-14页 |
| 第二章 图像处理子系统验证计划 | 第14-25页 |
| 2.1 多制式视频显示后处理芯片 | 第14-15页 |
| 2.2 图像处理子系统 | 第15-20页 |
| 2.2.1 图像处理子系统的功能 | 第15-18页 |
| 2.2.2 图像处理子系统架构 | 第18-19页 |
| 2.2.3 图像处理子系统工作流程 | 第19-20页 |
| 2.3 图像处理子系统验证计划 | 第20-25页 |
| 2.3.1 图像处理子系统验证策略 | 第21-24页 |
| 2.3.2 验证语言和EDA 工具 | 第24-25页 |
| 第三章 图像处理子系统验证平台 | 第25-74页 |
| 3.1 测试层 | 第27-28页 |
| 3.2 场景层 | 第28-38页 |
| 3.2.1 Transaction 类及其扩展类 | 第29-32页 |
| 3.2.2 生成器 | 第32-34页 |
| 3.2.3 约束条件的动态修正 | 第34-38页 |
| 3.3 功能层 | 第38-46页 |
| 3.3.1 配置器 | 第38-42页 |
| 3.3.2 检查器 | 第42-46页 |
| 3.4 指令层 | 第46-65页 |
| 3.4.1 驱动器 | 第46-59页 |
| 3.4.2 监控器 | 第59-65页 |
| 3.5 验证环境 | 第65-68页 |
| 3.6 信号层 | 第68-70页 |
| 3.7 断言检查 | 第70-74页 |
| 第四章 验证平台运行结果分析 | 第74-82页 |
| 4.1 激励调试 | 第74-76页 |
| 4.1.1 激励时序检查 | 第74-75页 |
| 4.1.2 测试图形注入测试 | 第75-76页 |
| 4.2 覆盖率统计测试 | 第76-77页 |
| 4.3 输出时序分析 | 第77-78页 |
| 4.4 图像处理子系统验证结果 | 第78-82页 |
| 第五章 总结与展望 | 第82-84页 |
| 5.1 论文总结 | 第82-83页 |
| 5.2 展望 | 第83-84页 |
| 参考文献 | 第84-87页 |
| 发表论文和参加科研情况说明 | 第87-88页 |
| 参与的科研项目 | 第87-88页 |
| 致谢 | 第88页 |