基于UVM的一款STB芯片AUDIO模块验证

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:boypoe
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着数字媒体技术的发展,音频内容与收听场景的相互适应、语音交互与音频播放技术的发展,都为音频智能硬件在各个场景下实现用户和音频内容的触达赋能;车联网、智能家居等概念的兴起和实践,推动了车载音频、智能音频等硬件的发展。可以这么说,当今移动音频发展土壤丰沃,接受设备类型也逐渐增多:智能手机、车联网、机顶盒、可穿戴设备、智能家居等;同时人们也愈发追求高质量的音频体验,因此音频技术不光是如今的热门项目,也是许多公司未来的重点竞争目标。总的说来,人们对于音频的要求也越来越高,对于音频的应用场景也愈发智能,音频的发展将是永无止境的。对于音频这些新的技术、愈发复杂的应用场景,为了芯片能顺利流片而抢占市场先机,验证工作也就必不可少。本文验证的待测设计是在实习期间参与的一款高性能STB(Set Top Box)智能机顶盒芯片xxxx的AUDIO_TOP(音频)子系统模块。如何基于UVM验证方法学的思想,并采用System Verilog验证语言,搭建出AUDIO_TOP子系统模块的可复用性强的模块级验证环境,同时能较高效且完备的完成对AUDIO_TOP子系统模块的验证是本论文的核心工作。本文首先对UVM通用验证方法学进行深入研究,其中包括对UVM验证方法学的经典的架构组成以及其主要的通用验证组件的功能进行分析;其次,通过对UVM验证方法学优秀的运行机制的分析,来讨论UVM验证方法学给验证人员带来的便利。在对UVM有了较深的认识后,接着本文深入研究了AUDIO_TOP音频子系统模块中所采用的音频规范协议,例如I2S、SPDIF、PCM等音频规范,基于这些音频协议以及对应的模块的处理思想,提取出AUDIO_TOP模块的功能测试点,同时考虑到验证平台的可复用性和可读性等因素提出验证方案。对UVM验证方法学和AUDIO_TOP子系统模块的分析都为构建验证平台提供理论基础。基于UVM验证方法学的中心思想,采用System Verilog验证语言来实现AUDIO_TOP验证平台的各个组件,并依据前期提出的验证方案来搭建AUDIO_TOP模块的验证环境。在验证环境实现过程中,充分考虑到验证平台的可重用性以及可读性等因素,对平台结构进行对应的优化和完善,最终得到完备且可复用性高的AUDIO_TOP验证环境,同时以这个验证环境为基础完成对AUDIO_TOP子系统模块的后续验证工作。根据验证方案提取的功能待测点来完成测试用例的开发,序列库的建立;通过跑测试用例,并且不断跑回归测试,生成最终的覆盖率报告。AUDIO_TOP模块验证的代码覆盖率达到98.86%,本文会对没有覆盖到的地方进行举例说明;而功能覆盖率则达到100%,说明提取的功能待测点均被验证成功;本验证平台可以复用到系统级验证平台,无论是模块级还是系统级验证均能达到项目要求。
其他文献
为了解决东芝CVU002-D0型编码器在巴西某城市轨道交通列车中受到的典型电磁干扰问题,按照“电磁干扰源与耦合途径的排查——电磁干扰形成机理的分析——电磁干扰解决措施的制定”这一处理电磁干扰问题的思路,进行了详细研究。首先,通过理论分析、实验室进行的辐射抗扰度试验与现场场强值实测,排除了辐射耦合这种电磁干扰耦合途径,确定了干扰来自于传导耦合。通过实验室进行的电快速脉冲群(EFT)、静电放电(ESD
量子密钥分发是目前应用最广泛的量子密码技术,其安全性由量子不可克隆定理、不确定性原理等量子力学的基本定理保证,可为合法通信双方分发安全密钥,结合一次一密的加密方式可以实现无条件安全的保密通信。根据量子态希尔伯特编码空间的维度不同,可将量子密钥分发协议分为离散变量与连续变量两大类,其中,连续变量类协议因在量子态制备、传输与检测过程中的难度和成本较低,成为近年来量子密码领域的热点研究方向之一。与离散变
老龄化日趋严峻的背景下,养老方式增加了机构养老这一选择,随着机构养老需求的扩大,同房间老人的人际矛盾愈发显现,不和谐的人际关系导致老年人交往紧张、情绪低落,影响其精神健康。本研究采用构造化联想法(SAT疗法)对养老院具有同房人际问题的老人进行干预研究,旨在讨论其对改善同房人际问题的适用性。在理论方面,本文分析了SAT疗法中的人际关系咨询法对改善人际关系的认知、情感和行动成分的适用性。SAT疗法能使
自实施土地招拍挂制度以来,我国房地产行业经历了十五年的黄金发展时期,作为国民经济的重要增长点,房地产行业不仅推动了国民经济的发展,也在改善人民生活、加快城市化进程、推动上下游企业联动发展方面起到了关键作用。目前,在“房子是用来住的、不是用来炒的”指导思想下,我国房地产开发的战略决策和业务模式也在发生着改变。在新的政策背景下,房地产企业如何加强项目管理,在保障施工质量的前提下,缩减施工成本,提高工程
当前,民营经济步入发展的关键时期,从高速低质型的增长模式向稳健高质型的发展模式转变。在国际、国内环境发生巨大变革的语境下,我国民营经济的发展既面临着前所未有的机遇,也将会遇到许多新的挑战。一方面,国家层面的重视、更加开放包容的市场环境、更加健全完善的制度等都为民营经济的发展带来重大利好;另一方面,多变的国际环境以及复杂的国内环境加剧了市场竞争的激烈性,也为民营经济的发展带来诸多不确定。因此,政府如
视觉目标跟踪是计算机视觉的重要研究内容,在智能机器人、视频监控、人机交互等智能视频处理相关的领域应用广泛。近年来,基于相关滤波的跟踪算法由于极佳的实时性能,备受关注、发展迅速,但是其有限的识别能力难以应对一些特殊的复杂场景。与此同时,基于卷积神经网络的跟踪算法得益于大量的训练数据,凭借强大的分类识别能力也受到了广泛的关注,但是庞大的参数量使其无法高效地进行模型在线更新,在追求速度的同时往往丢失特定
光催化技术因其具有有效处理水中的各种污染物的特性,应用前景广泛。论文以生物质材料为载体,通过微波辅助离子液体(MAIL)法成功制备两种生物质基光催化复合材料,并对其结构
背景:胰腺癌是一种侵袭性的恶性肿瘤,传统的放疗和化疗常常难以奏效,因此开发新的治疗策略(比如免疫治疗)就显得十分重要。载脂蛋白apo A-I(apolipoprotein A-I)是高密度脂蛋
故障树分析方法是系统可靠性分析的一种有力方法。Dugan动态故障树较静态故障树可以描述已有静、动态失效行为,但需要借助其他方法进行定量分析;T-S动态故障树解决了Dugan动态故障树存在的问题,但不能描述系统可靠性连续变化趋势;此外,仅考虑单因素对系统可靠性影响在分析复杂可靠性问题时存在局限性,例如液压系统可靠性往往受到多个因素影响。针对上述问题,考虑连续时间及多因素影响下的系统可靠性特征,提出连
喀左紫砂矿藏资源丰富,为紫砂壶制作奠定了基础。近几年来,喀左紫砂制品种类越来越丰富,但紫砂壶受关注度最高,特色最鲜明。通过探索喀左紫砂的制作历史,阐述喀左紫砂发展过程中经历的初步发展期、相对成熟期、快速发展期、衰退转向振兴期四个发展阶段。以喀左玉龙紫砂壶为例,探索其传统壶型与创新壶型的艺术特色。研究表明,喀左玉龙紫砂壶传统壶型中,光货类造型注重线条变化、雕塑类造型突出陶刻技法、花货类造型讲究自然生