RISC-V国际基金会董事会已成立一个认证委员会,以满足对RISC-V可证明质量基准的需求。

在2023年11月举行的北美RISC-V峰会上,Imperas公司(现已并入Synopsys公司)首席执行官Simon Davidmann发表了一场令人意想不到的主题演讲。他传达的信息是:尽管RISC-V代表着巨大的进步,但如果对其质量的关注不够,最终可能会限制其发展潜能。这是许多利益相关者的共同看法。

Davidmann接着解释说,Arm和英特尔等公司已经为整个半导体行业设定了质量期望。这些公司的处理器极少出现错误,用户依赖于这种质量水平,因为一个处理器错误就可能导致最终产品夭折。Davidmann指出,Arm每年在验证方面的投入超过1.5亿美元,每个内核的验证时钟周期达到惊人的1015个(超过一光年的里程数),并拥有30年的经验。由于保留了对指令集的完全控制,这一切变得更加容易。

RISC-V用户期望这种“Arm质量”水平,因为没有它,他们的设计就会失败。但是,RISC-V内核提供商如何才能达到这一质量目标,又如何予以证明呢?

RISC-V:新的处理器思维

在RISC-V问世之前,大多数处理器指令集架构(ISA)——用于驱动器件的基本代码规范——都是开发处理器的公司受保护的知识产权。这种保护对公司来说至关重要,因为它可以控制生态系统并阻止竞争,从而实现有利的商业模式。

随之而来的是RISC-V开放式ISA。所有公司都可以使用该指令集来实现其处理器、软件栈、工具和其他生态系统元素。商业模式不再受ISA版权的制约。此外,RISC-V ISA比其他ISA更加灵活,允许加入差异化的自定义指令。

半导体行业对此热情高涨。巧合的是,Arm不受欢迎的商业模式转变也促使各公司启动RISC-V计划,RISC-V因此获得了相当大的发展势头。据BCC Research公司估计,2021年RISC-V技术的市场规模为5亿美元,预计增长率为33%,到2027年将达到27亿美元。1如今,ISA管理机构(RISC-V International)报告称,该机构拥有来自70个国家/地区的3,950名成员,市场上有130亿个RISC-V IP核。

可以说,迄今为止RISC-V市场最重要的特点之一是,这130亿个处理器中的大多数都是相对较小的嵌入式器件。但是,我们现在看到的是复杂系统中更大型多核应用处理器的出现,由于处理器的复杂性要高得多,因此不可避免地会对验证解决方案产生影响。

为此,RISC-V国际基金会成立了一个认证委员会,以满足对RISC-V可证明质量基准的需求。

验证处理器

处理器验证是一项复杂的工作,涉及的方面太多,本文无法一一列举。但是,即使是简单的单核嵌入式器件,也可以通过大量指令的无限组合,使器件做出多种不同的反应。

智能随机指令生成器通常用于对架构进行更肤浅的检查。要根据应用的指令流检查处理器是否做了正确的事情,需要使用自检测试或RISC-V处理器的黄金模型进行比较,而这两种方法都很难实现。指令类型和组合非常重要。检查分支预测、验证指令权限级别和确保正确处理异常只是其中几个例子。

指令测试的另一个方面是确保符合官方ISA规范。目前有各种测试,但它们只能实现架构测试的部分要求。

指令级架构测试只是一个开始。高达80%的处理器执行由加载存储操作,这些操作必须高效。中断机制和许多其他接口要求也是如此。功能操作和性能相关问题必须一并检查,因为读写危险可能会导致难以调试的意外问题。这种协同工作需要进行深入的微架构测试,这反过来又需要结合不同测试集的测试综合,以剔除复杂、不可预测的极端情况。

还应在片上系统中对内核进行测试。根据内核(或多核)的复杂性,我们会发现一致性问题、安全漏洞和复杂的中断等等。

这是极端的验证,也是促使像Arm这样的处理器公司投入巨资的原因。指望一个小团队来构建这样的验证环境是不合理的。小团队要达到适当的验证水平,唯一的办法就是大量重复使用测试内容。

通用ISA的一个优势是,它可以让多个团队通过组合测试套件来联合起来。针对RISC-V的系统级验证知识产权组件(SystemVIP)就是这种通用可重用测试集的载体。采用这种方法,商业机构或其他组织可以利用规模经济建立通用测试集,将投资分摊到许多内核开发中。这正是商业验证公司以及包括谷歌在内的公司开源项目的目的。

当然,这种合作在商业竞争实体之间很难实现。然而,一个共同的组织可以推动这样的举措,RISC-V国际基金会正在这样做。

典型的RISC-V验证堆栈是一项复杂的工作,需要全面的测试计划。(来源:)

RISC-V认证

RISC-V国际基金会和其他组织已经实施了RISC-V ISA合规性测试套件。虽然该套件是一个有益的开端,但它还不够全面,不能完全依赖于它。RISC-V国际基金会的董事会认识到,有必要制定一项严格的认证计划,为处理器供应商提供对其器件性能的独立评估,从而提供客户可以信赖的信息。

其他行业标准也有认证计划,例如Wi-Fi、USB和PCIe。虽然这些接口协议需要大量的测试套件,但它们的验证比验证整个处理器内核简单。毫无疑问,Arm和英特尔为其新内核制定了内部签核流程,但这些流程都是专有的。因此,像处理器内核这样复杂、可应用于各种内核架构的器件,以前从未有过这种性质的公共认证计划,这是一项艰巨的挑战。

RISC-V董事会最近成立了RISC-V认证指导委员会(CSC),以完成这项任务。委员会成员包括RISC-V商业用户、处理器提供商、测试套件提供商以及该领域的其他专家。该委员会是新成立的,但正在积极制定具体计划,解决可能使用的测试、计划如何运行、测试在多大程度上检查整体架构以及其他定义问题。到今年年底,CSC应该有一个全面的计划,并将顺利实施。

RISC-V董事会完全希望CSC能够为最复杂的器件提供质量认证,从而为RISC-V处理器的全面部署扫除一个关键的潜在障碍,使其为整个半导体行业所接受。这绝非易事,需要广泛的专业知识才能达到以前在公共领域从未见过的验证水平。但是,我们必须使RISC-V内核达到与商用内核相同的质量要求。

RISC-V将变得更加可靠。

参考文献

1BCC Research (December 2022). “RISC-V Technology: Global Market Outlook.”

Dave Kelf

Dave Kelf是Breker Verification Systems公司的首席执行官,该公司的产品组合可应对大型复杂半导体功能验证过程中的各种挑战。Kelf拥有英国索尔福德大学电子计算机系统理学学士学位和布鲁内尔大学微电子学理学硕士学位,以及波士顿大学工商管理硕士学位。

(原文刊登于EE Times欧洲版,参考链接:Certifying RISC-V: Industry Moves to Achieve RISC-V Core Quality,由Franklin Zhao编译。)

本文为《电子工程专辑》2024年10月刊杂志文章,版权所有,禁止转载。免费杂志订阅申请点击这里

责编:Franklin
本文为EET电子工程专辑原创文章,禁止转载。请尊重知识产权,违者本司保留追究责任的权利。
阅读全文,请先
您可能感兴趣
CMA机构已暂时接受了芯片设计软件制造商新思科技为解决其拟议的350亿美元收购Ansys交易可能引发的竞争问题而提出的补救措施。作为条件性批准的一部分,新思科技承诺将剥离Ansys的PowerArtist业务以及出售自身的光学解决方案集团,以回应CMA对合并后实体可能减少市场竞争的担忧。这一进展标志着此笔EDA领域“世纪大收购”迈向完成的重要一步,预计整个过程将在2025年上半年内完成......
IP供应商、芯片设计服务提供商和AI专家在以AI为中心的设计价值链中的地位正变得更加突出。本文给出了四个设计用例,强调了服务于AI应用的芯片设计模型的重新调整。
芯片设计周期久,决定了AI芯片如果没有在设计之初就“压对宝”,上市时就可能已经过时。有没有什么工具能大幅加速AI芯片的设计流程?
硬件若无软件支持就毫无意义。而软件始终是Arm计算平台不可或缺的一部分,其技术已经涵盖整个软件栈的各个层面。从底层固件和操作系统的开发,到与游戏引擎、开源社区和独立软件供应商(ISV)的战略合作,确保所有这些在Arm平台上都能“开机即用”。
汪洋特别提到,第十三届芯原CEO论坛五大预测之一是2028年用于端侧微调卡和推理卡的销售额将超过用于云侧的训练卡。目前,推理和端侧微调也是芯原重点关注的领域,同时也希望在这一发展趋势中寻找新的机遇。 
随着对复杂IC的需求不断增长,供应商面临着越来越大的压力,需要在尽可能短的时间内交付最高质量的IC。本文阐述了测试工程在交付定制IC以满足这一需求方面的重要性。
对于未来行业发展的增长趋势、行业特征和渠道特点等方面,IDC 总结并给出了2025年中国PC 显示器市场十大洞察……
该存内计算芯片采用全数字设计,能够保证不同位宽配置下的精确计算。为实现不同位宽配置下的高利用率和高能效,团队提出了一种……
西门子数字化工业软件在IDC MarketScape发布的《2024 – 2025全球制造执行系统供应商报告》中被评为MES领导厂商,该报告针对制造业的MES软件厂商进行了综合性评估。
Arm宣布其芯粒系统架构 (CSA) 正式推出首个公开规范,进一步推动芯粒技术的标准化,并减少行业的碎片化。
近日,据36氪报道,进入2025年,丰田汽车针对中国区业务进行了一系列重要的人事调整。丰田中国已正式任命李晖为首位中国籍总经理。同时,广汽丰田现任总经理藤原宽行将被调任至一汽丰田,担任总经理一职。这一
1月23日,艾森股份发布公告称,公司正筹划以发行股份及支付现金的方式购买棓诺(苏州)新材料有限公司(以下简称“棓诺新材”)控股权并募集配套资金。该公司相关股票自2025年1月24日起停牌,预计停牌时间
等效电阻ESR是晶体在等效电路中的总电阻。谐振电阻RR是晶振本身的电阻值。大小取决于晶体的内部摩擦、电极、支架等机械振动时的损失,以及周围环境条件等的影响损失。谐振电阻较大或者较小对电路有不同的影响。
近日,维信诺在显示技术领域取得重大突破,在业界率先采用固态激光退火(SLA)技术,成功实现非晶硅薄膜向多晶硅薄膜的转化,并实现量产品成功点亮,预计在今年2月底将实现SLA技术的大规模量产。这一创举标志
高端自动驾驶与物流需求带动激光雷达市场,预估2029年产值达53.52亿美元根据TrendForce集邦咨询最新《2025红外线感测应用市场与品牌策略》报告,目前激光雷达(LiDAR)在车用市场主要用
据晚点 Auto消息,近日,比亚迪汽车新技术研究院院长、比亚迪智驾总负责人杨冬生在技术院内部,谈了他对于技术研发、管理、制度等话题的看法,并提出了新的工作要求或者方向。他表示:“一个产品的先进和成功是
dsPIC33A程序员参考手册本文档详细介绍了dsPIC33A系列数字信号控制器的指令集,旨在指导进行dsPIC®器件的本机汇编语言开发,从而优化和直接控制指令执行。汇编代码可用于简化和加速开发时间敏
寒假到来,你是否已经计划好带着孩子来一场说走就走的旅行?无论是山川湖海,还是古城小镇,每一次旅行都充满了未知和惊喜。在这场旅行中,相机或手机将成为你记录美好瞬间的得力助手。当旅行结束,面对着一堆照片,
昨天的时钟音箱的拆解文章:拆解时钟蓝牙插卡音箱-用单个LED直接代替数码管是个非常不错的降本设计思路我给电路板提了个建议,就是说上面2个2P排座,一个插电池,一个插喇叭的排座没必要区分红白色,就一种颜
此前,行家说储能在《688Ah电芯下线!储能“双6时代”的悬念》(.点这里)中提及,楚能新能源发布了625Ah储能电芯,近日楚能新能源688Ah储能电芯也取得新进展。据行家说储能最新消息,首批由楚能新