【摘 要】
:
随着集成电路的工艺不断发展,芯片的设计难度和复杂程度也不断增高。这使得芯片验证环节在芯片设计流程中的重要性不断提高,验证消耗的时间与资源投入也在不断增加。高效且保证高完备性的验证成为集成电路产业中的极大挑战。本文在作者在实习公司的实习项目基础上完成了模数转换器控制模块的验证工作。通过研究System Verilog语言以及通用验证方法学(Universal Verification Methodo
论文部分内容阅读
随着集成电路的工艺不断发展,芯片的设计难度和复杂程度也不断增高。这使得芯片验证环节在芯片设计流程中的重要性不断提高,验证消耗的时间与资源投入也在不断增加。高效且保证高完备性的验证成为集成电路产业中的极大挑战。本文在作者在实习公司的实习项目基础上完成了模数转换器控制模块的验证工作。通过研究System Verilog语言以及通用验证方法学(Universal Verification Methodology),制定验证计划,搭建验证平台,最后对模数转换器控制模块进行功能验证,体现了通用验证方法学相比于传统验证方式的优势。本文所验证的待验证设计(Design Under Verification)为作者实习公司自主研发的某微控制芯片中的模数转换控制模块。该芯片中包含三个单端型12位高速逐次逼近型模数转换器,模数转换器通过DUV与AHB总线进行连接。AHB总线与模数转换器之间的数据、命令以及时钟信息的产生、传输、处理都是通过DUV进行实现的。本文首先研究了验证语言及验证方法学的发展历程及现状,并且研究了System Verilog语言及通用验证方法学(UVM)的优势与特性,以及相对于传统验证方法的优势。随后对So C系统结构,AMBA AHB-Lite协议进行学习。通过对模数转换器控制模块的学习分析,了解具体的功能特点、工作机制及其配置信息,提取出详细的功能验证点,拟定具体测试用例(testcase)及基础的sequence,制定具体验证计划。本文基于UVM验证方法学搭建验证平台,验证平台中具体组件包括:验证IP提供的ahb_system_env,寄存器模型adc_regmodel,虚序列发生器ahb_virtual_sequencer,DUV参考模型adc_model,代理器adc_agent,记分板adc_scoreboard,以及具体的测试用例及具体的sequence等。不同组件具有各自不同的功能,这些组件在测试用例中进行实例化并且相互连接,采用带有约束的随机化验证方法进行仿真验证,对验证结果进行分析,通过覆盖率建模收集功能覆盖率以及通过工具收集代码覆盖率,最终功能覆盖率达到100%,代码覆盖率为93.66%,完成验证工作。验证工作证明:与传统验证方法比较,本文搭建的验证平台能够及时进行数据结果对比检测,及时报告错误信息,自动进行覆盖率收集,极大提高了验证效率。并且验证平台的可重用性较强,大大减少了验证环节消耗的时间及资源,具有很强的工程实用意义,并且对相关IC验证的复杂问题具有参考意义。
其他文献
伴随着移动互联网时代的到来,传统音乐门户网站逐渐从PC端向移动端发展,各种音乐类APP如雨后春笋般涌现。在音乐市场几近饱和的大环境下,网易云音乐虽是后起之秀,却凭借其“音乐社交”的差异化定位,打造了成熟的音乐社交生态圈,迅速发展并占领市场,为音乐社交领域的发展树立了良好典范。社交必然意味着互动,互动让社交拥有了源源不断的生命力。因此,本文将以网易云音乐为例,对音乐社交平台中的互动展开研究。本文第一
根据国家“十三五”能源规划要求,电网建设需坚持“节约、清洁、安全”发展方针,落实“节能优先、立足国内、绿色低碳、创新驱动”四大战略。沈阳市需要紧跟“十三五”能源规
背景:结直肠癌合并同时性骨转移虽然罕见,但近年来发病率逐渐上升。本研究旨在探索影响同时性骨转移发生的危险因素基础上,建立危险分层模型。这可以帮助临床医生判断结直肠
表面生物被膜的形成对几乎所有细菌来说都是一种可行的生存策略。作为生物与表面相互作用中的一种显著现象,以生物被膜为直观切入点分析生物与非生物的相互作用机理,是探索这一基本科学问题的一种新的、合适的研究模式。细菌生物被膜(BF)是一种可通过分泌保护性和粘附性细胞外聚合物(EPS)(如多糖、蛋白质、核酸和脂质)而被包围起来的复杂的三维微生物聚集体。当它附着在医疗设备,水处理系统,以及食品加工设备和包装材
近年来合成孔径雷达已成为监测地表形变的热点,InSAR技术在城市地表形变监测方面的研究较多,而对于复杂山区开采沉陷地表形变研究相对较少,利用InSAR技术对山区开采沉陷地表
动态硫化EPDM/PP-TPV热塑性弹性体因具有良好的绝缘性能、冲击性能、弹性性能、易加工性以及可回收性等优点,被广泛应用于汽车零部件、电线电缆、建筑建材等领域。目前普遍采用螺杆挤出机制备生产TPV弹性体,在螺杆机械中物料塑化输运主要是靠螺杆旋转时对物料的拖曳作用,受剪切应力支配,存在热机械历程长、能耗高、分散混合弱、对物料特性依赖性强等缺陷。基于拉伸流变的高分子材料偏心转子挤出装备,使得物料在塑
近年来,词汇的附带习得俨然已成为语言习得领域的研究热点,虽然大量的国外已有实验确实给了我们一些有价值的教学意义,但这些教学意义并不一定都适用于国内的英语教学,因为我
近年来,随着世界经济的复苏与发展,全球对石油和天然气的需求不断增大,油气勘探方向逐渐由常规资源转向非常规资源。我国致密气资源非常丰富,储量规模约占天然气储量四分之一,但由于致密气藏地层非均质性较强,地层中气水关系复杂,储层物性一般较差,导致气井产量较低、递减速度较快,对开发技术要求相对较高,同时较高的投资和运行成本,也严重制约致密气藏效益开发。吉林油田是典型的“三低”油田,近年来新发现天然气资源以
目的:通过分析复苏后综合征患者初始氧代谢指标[中心静脉—动脉二氧化碳分压差/动脉—静脉氧分压差(Pcv-aCO_2/Da-vO_2)、肺泡—动脉氧分压差(A-a DO_2)、中心静脉—动脉二氧化碳分压差(Pcv-aCO_2)、乳酸(Lac)]的差异,探讨氧代谢指标对复苏后综合征患者7天生存率的预测价值。方法:本研究为回顾性研究,纳入2018年6月至2019年12月于桂林医学院附属医院重症医学科和中
随着近代卫星通信系统网络容量和用户数量的快速增长,多波束天线出现并得到了广泛的应用。多波束反射面天线具有主瓣窄、增益高、结构简单、性能优良等优势,通过空间隔离实现频率复用,提高了卫星通信系统的通信容量和频谱利用率。采用增强型波束成形法与多端口放大器相结合的多波束天线系统,可以有效提高功率放大器的利用率,减少单个功放对于波束性能的影响,提高了天线系统的鲁棒性。因此,本文以增强型多波束反射面天线波束成