[导读]UVM(universalverificationmethodology),俗称通用验证方法学。通用二字在于其将以前所有的验证方法学(OVM、VMM、VMM等等)都融合到一起,类似于秦王统一六国的意思。其是由三大EDA巨头成立了一个accellera的组织,共同推的一个验证方法学...
UVM(universal verificationmethodology),俗称通用验证方法学。通用二字在于其将以前所有的验证方法学(OVM、 VMM、 VMM 等等)都融合到一起,类似于秦王统一六国的意思。其是由三大 EDA 巨头成立了一个 accellera 的组织,共同推的一个验证方法学标准,后面什么 AMD、 ARM、 intel、 ericsson、 qualcomm等等半导体巨头也都加入了该组织,下面图片罗列了现在该组织的合作成员,可见 accellera 势力之强大。
按照其官网上的说法,该组织是一个独立的,致力于生成、支持、推进和提高用于全世界范围的电子产业系统级别的用于设计、建模、和验证标准的非营利组织。说白了就是组成垄断巨头掌控未来 EDA 发展的方向。
该组织目前推的三大标准是 SystemC、 UVM 和 IP-XACT。UVM,俗称通用验证方法学,是目前做验证无法绕过但是很难吃透的一块知识,无法绕过是因为其为验证平台的搭建和 case 的加载提供了很多现成的模块和组件以及机制、框架, 很难吃透的意思是其内部具体实现机制比较复杂, 掌握其原理比较困难。
对于我们验证人员,如果仅仅掌握如何使用 UVM 还是比较简单的(其实,掌握 UVM 的使用方法也是比较复杂的,因为不知道其实现原理,因此只能按照别人的使用方法去照搬,而不是根据自己的需求来考虑用 UVM 的哪一部分的功能,这目前也是自己比较遗憾的一点)。
按照 UVM 用户指南手册上的说法, UVM 提供了一个用于以覆盖驱动验证(CVD, coverage-driven verification)的最好的框架。覆盖驱动验证结合了自动测试用例生成,自测平台和覆盖向量从而减少了验证设计的时间。
UVM 主要用于验证数字逻辑电路的正确性。其基本原理如下图所示:设计人员和验证人员针对同一个数字逻辑的特性列表(feature list)分别完成两个模型。设计人员通常用 Verilog或 VHDL语言完成,通常称之为 DUT(Design Under Test);验证人员通常用 SystemVerilog、 SystemC、 C 语言、 matlab 语言完成(但是目前支持较好的语言仅为 SystemVerilog、 systemC、以及 C 语言,支持最好的语言是 SystemVerilog),通常称之为参考模型(reference model)。
然后向两个模型分别施加相同的激励,根据输出判断两个模型是否一致,如果不一致,则修改 DUT 或 reference model ,直到两个模型完全一致。这里完全一致是用代码覆盖率和功能覆盖率来体现的。
Verilog、 SystemVerilog 之间的关系相当于 C、 C ,因为 SV 支持 Verilog所有的语言。另外 SystemVerilog 中引入了 C 中的类的概念,使得 reference model 和验证平台的编写更加容易,但其部分语句无法综合(无法综合到硬件电路中)。
UVM 在基于 SystemVerilog 的基础上给出了一个封装库,其中包括了通用的验证架构、基本的模块类(driver、 scoreboard 等)、通信机制(port、 analysis port、imp 等)。用基本的模块类扩展得到需要的模块后填充到验证架构中,然后用合适的通信机制将模块串起来,这样就得到了验证平台,十分方便。
另外 UVM 给出了激励的封装类型 transaction(具体说应该是 uvm_sequence_item) 和随机化的方式(不知道是 SV 提供的还是 UVM 提供的,按理来说应该是SV 提供了理论,因为基于对象, UVM 提供了具体可用的代码)。通过 UVM 定义好的 uvm_sequence_item 类,验证人员能够按照自己的需求很方便的约束和随机化各种类型的激励。
总体来说, UVM 提供了一个便捷的、预定义的、灵活的验证框架。该框架中规定了基本的验证平台需要的基本组件、通信机制、激励类型,验证流程。验证人员按照其定义能够快速搭建验证平台。
UVM 的精髓在于给验证人员提供了快速搭建 testbench 的途径,从而使得验证人员能够将工作重心放在测试例的编写上。
本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
业内消息,近日日本软件银行集团(SoftBank Group)旗下安谋国际科技公司(Arm)计划研发人工智能(AI)芯片,先成立一个AI芯片部门,目标是明年春季建立AI芯片原型产品,然后将量产工作交由代工厂制造,预估20...
关键字:
ARM
AI芯片
援引彭博社消息,近日新当选的熊本县知事木村隆(Takashi Kimura)表示,他已准备好确保获得广泛的支持,以吸引台积电在当地建立第三家日本芯片工厂。
关键字:
日本
台积电
芯片工厂
5 月 13 日消息,从“上海临港”微信公众号获悉,特斯拉上海储能超级工厂建设项目已完成施工许可证核发。这是特斯拉在美国本土以外的首个储能超级工厂项目,工厂计划于今年 5 月开工,明年一季度实现量产。
关键字:
特斯拉
储能
据消息源 jasonwill101 透露,高通公司目前正在重新设计骁龙 8 Gen 4 处理器,新的目标频率为 4.26GHz,这一变化主要是为了应对苹果 M4 / A18 / Pro 处理器。
关键字:
高通
骁龙 8 Gen 4
芯片
最新消息,今天凌晨 OpenAI 在春季更新直播官宣发布最新旗舰生成式 AI 模型 GPT-4o,GPT-4o 将 ChatGPT 变成一名带有文本、「视觉」与语音互动的实时语音助手。OpenAI 表示升级版的 Chat...
关键字:
OpenAI
生成式
AI大模型
GPT-4o
三星电子最近进行了重大的组织重组,以增强其在下一代机器人业务方面的能力,并将其视为关键增长领域。作为重组的一部分,该公司解散了负责开发三星首款可穿戴机器人“Bot Fit”的机器人业务团队。
关键字:
三星电子
解散
Bot Fit
机器人
央视《今日说法》栏目近期报道了一名90后程序员通过开发非法视频搬运软件在不到一年的时间里获利超700万,最终获刑的案例。
关键字:
程序员
软件
业内消息,近日美国麦肯锡公司的一份报告强调了芯片行业的劳动力挑战,在美国寻求吸引更多技术工人从事半导体制造之际,许多现有员工正在重新考虑是否要留下来。
关键字:
芯片
业内消息,近日美国商务部工业与安全局(BIS)根据出口管理条例(EAR)将中国电子科技集团旗下多个研究所、中电科芯片技术(集团)有限公司、中国科学技术大学,以及北京量子信息科学研究院、本源量子等 37 个中国实体添加到实...
关键字:
实体清单
5 月 11 日消息,鲲鹏昇腾开发者大会昨日在北京中关村国际创新中心举办,主题为“心怀挚爱,共绽光芒”,会上推出了原生使能计划、启动鲲鹏昇腾科教创新卓越中心、鲲鹏昇腾原生创新汇等。
关键字:
华为
鲲鹏昇腾
近日路透社援引知情人士的消息称,美国商务部正考虑推动一项新的监管措施,将限制 AI 模型的出口,初步计划对 ChatGPT 等大模型采取行动。
关键字:
AI
近日,特斯拉发布了Optimus最新进展视频,展现了其分拣电池、行走、执行工厂任务的能力,并配文“最近正在努力变得有用!”。
关键字:
特斯拉
机器人
Optimus
2024年5月9日晚,中国大陆晶圆代工龙头厂中芯国际发布2024年第一季度财报,销售收入为17.5亿美元,环比增长4.3%,同比增长19.7%;毛利率为13.7%,均好于指引。值得一提的是,这也是中芯国际的季度营收首次超...
关键字:
中芯国际
据韩联社报道,近日 SK 海力士子公司 SK 海力士系统集成电路拟以3.493亿美元的价格向无锡产业发展集团有限公司转让所持有的 SK 海力士系统集成电路(无锡)有限公司(下文简称无锡晶圆厂) 49.9% 股权。
关键字:
SK 海力士
晶圆厂
近日,美国空军在加州爱德华兹空军基地进行了首次正式的AI控制战斗机试飞,美联社等少数媒体代表受邀观摩,美国空军方面明确表示,AI战机将是未来美国空中力量的重要组成部分。
关键字:
美国
AI
从近期媒体的一份爆料来看,苹果近年来其实已经下了不少力气深耕AI领域——在过去六年间从谷歌挖走了数十名人工智能专家,并在苏黎世创建了一个神秘的欧洲实验室。
关键字:
苹果
谷歌
实验室
AI
据外媒最新报道,微软近日披露了一个名为“ Dirty Stream ”的严重安全漏洞,该漏洞可能影响到数十亿下载量的 Android 应用。这种攻击可能使得攻击者完全控制应用,未经授权访问敏感用户数据,或拦截私密登录信息...
关键字:
安卓
漏洞
小米
近日,能源巨头壳牌宣布退出中国市场的电力业务,引发市场广泛关注。4月29日,壳牌(中国)新闻发言人对外确认了这一消息。此前,江苏和广东电力交易中心已分别发布公告,称已受理壳牌能源(中国)有限公司自愿退出市场的申请。
关键字:
壳牌
电力
业内消息,今年一季度中国智能手机出货量为6330万台,同比增长1%。这结束了连续11个季度的年度下滑。在厂商方面,四大厂商——OPPO/一加、荣耀、华为和vivo的市场份额不相上下;OPPO/一加以17.1%的市场份额领...
关键字:
iPhone
Others
苹果
库克
业内媒体报道,近日美国进一步收紧了对华为的出口限制,吊销了英特尔、高通等公司向华为出口芯片的许可证。华为迅速反击,海思半导体董事长何庭波,终端 BG 董事长余承东对内发布《致战友们的一封信》,提出针对 PC 端芯片的备胎...
关键字:
华为
高通
英特尔