学位论文 > 优秀研究生学位论文题录展示
AVS视频解码芯片功能验证平台的研究与实现
作 者: 邱晓光
导 师: 王祖强
学 校: 山东大学
专 业: 电路与系统
关键词: 系统级芯片 验证 SystemVerilog 功能验证平台
分类号: TN919.81
类 型: 硕士论文
年 份: 2011年
下 载: 13次
引 用: 0次
阅 读: 论文下载
内容摘要
随着集成电路技术的不断发展,市场对芯片产品提出了更高的要求,它们必须拥有更强的功能并且体积更小、功耗更低、价格更合理才能在激烈的市场竞争中获得一席之地。在基于IP重用的SoC设计已经成为芯片设计业主流的今天,SoC验证工作需要投入的时间一般占到整个开发周期的70%,验证难度是传统芯片的3到5倍,传统的验证方法和技术已经不能满足当前的需要,验证已成为当前业界最有挑战性、最具研究价值的课题之一。本文首先介绍了功能验证的地位以及功能验证的一般方法,结合实际情况分析了功能验证的发展趋势,并在功能验证平台设计中加以实践;在分析了AVS视频解码芯片的架构和接口的基础上完成了其功能验证平台的设计工作;在验证平台的实际应用方面,对芯片整体的功能验证策略做了分析,在集成验证中采用了受约束随机测试与定向测试相结合的激励生成方法、综合考虑代码覆盖率与功能覆盖率的覆盖率收敛方法,以及以覆盖率为导向、覆盖率结果反馈测试端的验证流程。为了提高验证的效率,使用基于SystemVerilog语言的模块参考模型代替设计尚未设计完备的子模块,从而在模块级验证未完成的情况下启动集成验证工作。所设计的功能验证平台结合验证方案在实际工作中取得了良好的效果,比传统的验证平台和验证方案具有更高的验证效率和代码可重用率,缩短了芯片的开发周期。最后,本文对所进行的工作进行了简单总结,归纳了不足之处以及进一步工作的要点。
|
全文目录
摘要 8-9 ABSTRACT 9-10 符号说明 10-11 第一章 绪论 11-17 1.1 研究背景及意义 11-14 1.2 课题来源 14-16 1.2.1 AVS标准概述 14-15 1.2.2 AVS标准的产业化 15-16 1.3 论文的主要内容及论文结构 16-17 第二章 SOC功能验证技术 17-33 2.1 SOC设计流程与验证 17-20 2.2 功能验证方法与技术 20-29 2.2.1 黑盒验证法 20-21 2.2.2 白盒验证法 21 2.2.3 灰盒验证法 21-22 2.2.4 动态验证技术 22-25 2.2.5 静态验证技术 25-28 2.2.6 软硬件协同验证技术 28-29 2.3 功能验证的发展趋势 29-33 2.3.1 验证层次的抽象化 30 2.3.2 验证过程的自动化 30-31 2.3.3 验证资源的重用化 31-32 2.3.4 激励的随机化及验证的并行化 32-33 第三章 AVS视频解码芯片功能验证平台设计 33-58 3.1 AVS视频解码芯片分析 33-37 3.2 验证语言和验证工具 37-40 3.2.1 验证语言 38-39 3.2.2 验证工具 39-40 3.3 功能验证平台架构 40-45 3.3.1 传统验证平台的结构 40-41 3.3.2 分层次的验证平台 41-45 3.4 功能验证平台设计 45-55 3.4.1 顶层文件结构 45-46 3.4.2 接口设计 46-48 3.4.3 验证平台程序 48-51 3.4.4 验证环境组件 51-55 3.5 验证平台的工作流程 55-58 第四章 AVS视频解码芯片的集成验证 58-71 4.1 验证策略 58-60 4.2 测试激励生成 60-61 4.3 覆盖率 61-63 4.4 验证流程 63-65 4.5 验证结果 65-71 4.5.1 报告自动分析 65-67 4.5.2 覆盖率情况 67-69 4.5.3 验证结果小结 69-71 第五章 总结与展望 71-73 参考文献 73-77 致谢 77-78 攻读硕士学位期间申请的发明专利 78-79 学位论文评阅及答辩情况表 79
|
相似论文
- 仿真系统模型验证方法和工具研究,TP391.9
- 复杂仿真系统VV&A工作流技术研究,TP391.9
- 辐射自显影胶片用于调强放疗剂量验证的可行性研究,R815
- 多功能车辆总线控制器MVBC综合验证研究,TP273
- 蛋内注射leptin对肉鸡肝脏胆固醇代谢相关基因及microRNA表达的影响,S831
- 油包水型乳化油液水击谐波破乳LabVIEW仿真及实验研究,X703
- 秘密共享方案中若干问题的研究,TN918.1
- 禾谷镰刀菌蛋白激酶基因PUF1功能验证,S435.121
- 基于OVM的SoC功能验证系统的设计与实现,TN47
- 基于OVM架构的EPA芯片验证的研究,TN406
- 基于SystemVerilog的URAT模块功能验证,TN402
- 基于旋转调制技术的微小型水下机器人导航技术研究,TP242
- 小儿过敏性紫癜中医药治疗方案的临床验证分析,R272
- 基于接口自动机的服务组合验证研究,TP393.09
- 基于TCPN的Web服务组合时间验证的研究,TP393.09
- 云南城乡收入差距与财政政策关系实证研究,F812.0;F224
- 空调系统Commissioning实用评价体系的研究,TU831.3
- 基于Petri网的语义Web服务组合模型研究,TP393.09
- 关于烟草漂浮育苗气吸式播种机研究,S572
- Agent模型在电力企业应用集成中的研究,TP311.52
- 我国体育服务标准化法律问题研究,D922.16
中图分类: > 工业技术 > 无线电电子学、电信技术 > 通信 > 图像通信、多媒体通信 > 图像编码
© 2012 www.xueweilunwen.com
|