基于UVM的嵌入式以太网控制器芯片验证平台的设计与实现

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:gg499586617
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着集成电路技术的不断发展和制造工艺水平的不断提高,芯片规模逐渐扩大,功能也越来越复杂。如何在一定时间内发现设计中尽可能多的漏洞,保证验证的完备性和高效性,成为IC验证领域的重点课题。同时为了满足日益增长的验证需求,验证技术与验证语言也在不断更新换代。基于System Verilog验证语言发展起来的UVM验证方法学已经成为如今验证领域的主流趋势。本文详细介绍了当前主流的UVM验证方法学的平台结构与核心思想,对UVM验证平台的核心机制、通信方式、寄存器模型以及验证组件的结构功能等多个方面进行了深入分析,充分体现了UVM验证方法学在验证平台完备性、高效性、复用性以及灵活性等方面的优势。本文以嵌入式以太网控制器芯片为验证对象,对芯片中各个模块的功能结构、工作原理、连接方式以及TCP/IP协议进行了深入研究。从嵌入式以太网控制器芯片的功能、场景、接口、异常、寄存器等维度,提取了验证仿真功能点,搭建了基于UVM的层次化的验证平台。该验证平台集成了三个子环境、计分板、寄存器模型、断言、功能覆盖率收集等组件,重点对验证平台的设计思想、各个组件的实现方式、验证机制以及通信方式进行了详细分析。接着基于该层次化的UVM验证平台编写测试用例,并结合仿真波形与仿真日志对验证结果进行分析。验证完成后,使用VCS仿真工具自动收集代码覆盖率与功能覆盖率,对不能覆盖到的仿真点进行分析与阐述。最终实现功能覆盖率达到100%,代码覆盖率大于90%的验证目标。最后对本文的工作内容进行了总结,对本文的创新性进行了分析,并对验证过程中存在的不足之处进行了阐述。实践证明,本文所设计的验证平台层次清晰、结构分明,具有高效性、完备性、灵活性以及可复用性。目前该款芯片已经成功流片,同时部分组件已经成功移植到其他项目中。
其他文献
水茄(Solanum torvum Swartz.)为双子叶植物纲茄科茄属亚灌木,广布于热带地区,包括我国云南、广东、广西等地。水茄为药食同源类野生植物,水茄的干燥根可入药,习称“金纽扣”,是民间常用的传统中药,具有散瘀、消肿、止痛、通经、止咳等功效。水茄的幼果在云南少数民族地区被当做蔬菜食用,当地称为“小苦子果”。本论文首先对茄科茄属植物的药用部位,化学成分和生物活性的研究进展进行了文献综述,总
行政传唤是警察行政执法过程中广泛使用的调查方式的一种,在基层也往往被视为调查所必经的程序之一。但很多的基层民警对行政传唤的法律属性认识存在差异,对行政传唤的使用条
柳枝稷(Panicum virgatum)是禾本科黍属多年生暖季型草。其植株高大、生长迅速、根系发达、抗逆性和适应性强,是重要的能源植物和水土保持植物。挖掘柳枝稷的抗逆调控基因并
腈基树脂作为目前唯一满足美国海军舰艇材料军用标准的高性能树脂,仍然无法避免热固性树脂固有的脆性不足。近年来,国内已广泛开展对腈基树脂的研究,其中增韧改性成为研究的
本翻译实践报告的分析文本节选自法国Le Manuscrit出版社于2006年出版的Le bonheur du voyage-Ethique,action,projets pour relancer l’Europe(《希望之旅——振兴欧洲的伦
作者因工作原因接触刑释人员这个群体,恰好工作又与刑释人员的再就业有关系,因此选择以刑释人员为研究对象,并以漳州市刑释人员的再就业机制作为切入点,通过问卷调查、访谈方
依据我们国家《中长期铁路网规划》的要求和当今社会高速铁路技术的快速发展情况,为了满足高速铁路技术的发展趋势和为社会发展培养高质量技术技能型紧缺适用性人才提供条件保障,也为了保障高铁公共实训基地后期良好的可持续运营,探索出高速铁路类公共实训基地的运营管理模式和未来的发展方向,实现其预期的经济效益和社会效益,建设高铁公共实训基地并做好后期的运营管理工作显得尤为重要。公共实训基地在建成后如果盲目的去发展
自我解释是学习者为了深刻理解学习内容和解决问题,联系已有知识经验向自身做出推理和解释的活动。已有研究证明,自我解释对学习者深入理解学科内容、问题解决能力的提高以及迷思概念的纠正具有促进作用。但资料显示,当前化学教育领域中有关自我解释的研究不够充分,为此,本文立足于高中化学核心概念之一“化学反应与能量”主题,对高中生的自我解释展开了相关研究。本文界定了自我解释的内涵,分析了自我解释的特征,研究了自我
草图是一种人们常用的沟通交流工具,具有自然、简明、抽象的特点,可以用于快速地描绘物体、勾勒人物形象、设计建筑等。草图的抽象表现力和便捷性使其能有效地与图像检索、三维模型重建等实际应用相结合,对草图理解及处理的研究一直是计算机视觉领域的研究热点之一。受个人绘制风格的影响,草图在抽象程度、形态和风格等方面都存在较大的差异,面向草图的语义理解是一个极具挑战性的任务。草图生成是草图理解研究中的重要部分,是
第五代移动通信系统相比于前四代移动通信系统的性能有了质的飞跃,这是多种关键技术共同作用的结果。其中,大规模MIMO和信道编码技术很大程度上提升了5G上行链路中数据的传输速率以及传输的可靠性。因此,本文重点研究了MIMO检测算法与5G LDPC编码,并在Xilinx Kintex Ultra Scale KCU1500开发板上设计实现了一种全模全码率的5G LDPC编码器。针对MIMO检测技术,本文