基于UVM的MHL-to-HDMI Dongle音频模块的验证

发布时间：2017-10-31 14:56

  本文关键词：基于UVM的MHL-to-HDMI Dongle音频模块的验证

  更多相关文章： UVM验证方法学 HDMI接口规范 AUDIO模块 模块级验证平台

【摘要】：集成电路技术发展至今,在单个芯片中已经集成了几十亿个微电子元器件。在这种大环境下,如何才能保证设计的正确性和一致性,如何才能为设计团队提供最方便的验证手段,这是验证工程师所面临的一个严峻考验,也是现代芯片能否设计成功的关键所在。越来越多的人员投入到验证工作,促使了UVM(Universal Verification Methodology,通用验证方法学)验证方法学的产生。本文对UVM的验证架构以及其主要的UVC(Universal Verification Component,通用验证组件)的分类、结构和功能进行了详尽的研究。本文中的待测设计为基于HDMI(High Definition Multimedia Interface,高清晰度多媒体接口)接口规范的MHL-to-HDMI Dongle芯片中的AUDIO(音频)功能模块。如何利用UVM的思想,并使用System Verilog验证语言,搭建出AUDIO模块的可复用模块级验证环境,是论文的核心工作。本文对AUDIO模块的功能、外围结构及其遵守的HDMI接口规范进行了分析,并分解出测试点。根据UVM思想,本文制定了AUDIO模块验证平台的实现策略,并完成了各验证组件的搭建工作。测试用例的开发,序列库的建立,功能强大的驱动器的实现以及输入输出数据的对比机制是论文的重中之重。在仿真过程中,本文分析了具有代表性测试用例的仿真结果,最终确定AUDIO模块的功能正确无误。并对代码覆盖率和功能覆盖率进行了分析,前者总评分达到96%,后者达到100%,已满足项目要求。本验证平台可复用到子系统和系统级验证平台,并且用较少的测试用例和较短的时间完成了验证任务。
【关键词】：UVM验证方法学 HDMI接口规范 AUDIO模块 模块级验证平台
【学位授予单位】：西安电子科技大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TN407
【目录】：

• 摘要5-6
• ABSTRACT6-10
• 符号对照表10-11
• 缩略语对照表11-15
• 第一章 绪论15-19
• 1.1 选题背景和意义15
• 1.2 课题来源15-17
• 1.3 内容编排17-19
• 第二章 HDMI技术规范19-31
• 2.1 HDMI系统连接结构19-20
• 2.2 HDMI接口规范中信号传输周期20-25
• 2.2.1 控制周期21-22
• 2.2.2 有效视频周期22
• 2.2.3 数据岛周期22-25
• 2.3 数据包结构定义及其类型25-27
• 2.4 音频时钟再生27-30
• 2.5 本章小结30-31
• 第三章 UVM验证方法学31-43
• 3.1 UVM验证方法学概述31
• 3.2 UVM验证验证平台组件31-35
• 3.2.1 UVM验证环境树形结构32-33
• 3.2.2 Driver（驱动器）33-34
• 3.2.3 Sequencer（序列器）34
• 3.2.4 Monitor（监视器）34
• 3.2.5 Agent（代理器）34
• 3.2.6 Reference model（参考模型）34-35
• 3.2.7 Scoreboard（计分板）35
• 3.3 UVM验证环境运行机制35-42
• 3.3.1 UVM sequence机制35-37
• 3.3.2 UVM phase机制37-39
• 3.3.3 UVM config_db机制39-40
• 3.3.4 UVM factory机制40
• 3.3.5 UVM register model机制40-42
• 3.4 本章小结42-43
• 第四章 MHL-to-HDMI Dongle芯片音频模块验证平台实现43-81
• 4.1 AUDIO模块功能及外围环境分析43-45
• 4.2 功能测试点提取45-46
• 4.3 AUDIO模块模块级UVM验证平台总体结构46-48
• 4.4 audio_tx_uvc48-59
• 4.4.1 audio_transaction48-50
• 4.4.2 audio_tx_config50-53
• 4.4.3 audio_tx_sequence_lib53-54
• 4.4.4 audio_tx_uvc.driver54-58
• 4.4.5 audio_tx_uvc.monitor58-59
• 4.5 mcu_uvc59-65
• 4.5.1 mcu_transaction与mcu_if60
• 4.5.2 mcu_config60-61
• 4.5.3 audio_reg_sequence_lib61-62
• 4.5.4 mcu_uvc.driver62-63
• 4.5.5 mcu_uvc.monitor63-65
• 4.6 audio_rx_uvc65-73
• 4.6.1 spdif_i2s_transaction和audio_rx_if65
• 4.6.2 SPDIF音频格式和I2S音频格式65-67
• 4.6.3 audio_rx_config67
• 4.6.4 audio_rx_uvc.monitor67-73
• 4.7 module_uvc73-78
• 4.7.1 寄存器模型及其相关组件74
• 4.7.2 virtual_sequencer与audio_reg_sequencer74-75
• 4.7.3 audio_virtual_sequence_lib75-76
• 4.7.4 module_uvc.scoreboard76-78
• 4.8 验证举例78-79
• 4.9 本章小结79-81
• 第五章 基于UVM验证方法学的音频模块验证结果与分析81-97
• 5.1 验证环境的目录结构81-82
• 5.2 测试用例82-89
• 5.2.1 基本测试用例82-87
• 5.2.2 特殊测试用例87-89
• 5.3 代码覆盖率结果与分析89-93
• 5.4 功能覆盖率结果与分析93-95
• 5.5 本章小结95-97
• 第六章 总结与展望97-99
• 6.1 总结97
• 6.2 展望97-99
• 参考文献99-101
• 致谢101-103
• 作者简介103-104

【相似文献】

中国期刊全文数据库 前10条

1 屈玉峰;郭亮;冯根宝;;搭建基于E语言参考模型的验证平台[J];中国集成电路;2005年09期

2 詹文法,马俊,张溯,许修兵;一种可重用的验证平台结构[J];微机发展;2005年03期

3 詹文法;李丽;程作仁;张溯;;一种基于总线的可重用验证平台研究[J];电子技术应用;2006年05期

4 期彤;;新思科技设计系统、验证平台双线出击[J];电子设计应用;2009年05期

5 张健;黄蓓;王玉艳;;交换控制电路功能验证平台设计[J];计算机工程;2006年16期

6 万超;申敏;张亚楠;;通道在层次化验证平台中的应用[J];电子测试;2007年05期

7 袁艳;申敏;;覆盖率技术的提高在RVM层次化验证方法中的应用[J];电子测试;2008年01期

8 宋秀兰;吴晓波;;高性能验证平台设计与搭建[J];电子器件;2008年06期

9 刘芳;谢峥;连志斌;王新安;;一种可重构的通用总线接口验证平台的研究及实现[J];电子器件;2011年03期

10 王红卫;占杨林;梁利平;;以覆盖率为导向的自动化验证平台[J];电子测试;2013年05期

中国重要会议论文全文数据库 前6条

1 王立胜;王秉臣;朱波;朱智超;赖安学;;基于大型飞行器的信息系统仿真验证平台设计[A];中国宇航学会深空探测技术专业委员会第十届学术年会论文集[C];2013年

2 华静;;虚拟化技术构建金融云业务验证平台[A];2013年中国通信学会信息通信网络技术委员会年会论文集[C];2013年

3 徐文进;田泽;;基于AFDX-ES SOC验证平台的向量中断控制器验证研究[A];第十六届计算机工程与工艺年会暨第二届微处理器技术论坛论文集[C];2012年

4 淮治华;田泽;赵强;韩炜;;基于DSP的SoC FPGA原型验证平台的构建与应用[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年

5 陈小龙;荆涛;;如何在FPGA或ASIC设计中用TCL为HDL模型搭建自动验证平台[A];全国第一届嵌入式技术联合学术会议论文集[C];2006年

6 iJ淑媚;灻斐章;周佩廷;R壭憔，

本文编号：1122515