这是付费新闻稿。如有任何疑问，请直接联系新闻稿发布商。

Akeana与Axiomise合作对其核心进行形式验证

Axiomise有限公司

2026年2月25日星期三 01:00 GMT+9 3分钟阅读

用形式验证确保超标量核心的可靠性

英国伦敦 / ACCESS新闻快讯 / 2026年2月24日 / ——作为领先的RISC-V IP提供商，Akeana今日确认其与Axiomise的合作在正式验证其先进的超标量RISC-V测试芯片Alpine方面发挥了关键作用。此次合作确保在硅片出厂前，全面分析功能和PPA（功耗、性能、面积）边角情况。

Alpine是一款采用4nm工艺的硅片/软件开发板，配备高性能的乱序核心，需采用稳固的验证方法。“在合作的几个月内，Axiomise的形式验证专业知识不仅发现了功能问题，还识别出潜在的冗余逻辑，这是我们之前未曾预料到的。他们结合自动化工具和深厚的领域知识，让我们看到形式验证在未来仍将是我们宝贵的验证技术，”Akeana Inc.联合创始人Nitin Rajmohan表示。

Axiomise的方法结合了深厚的形式验证专业知识与其专有应用程序，如formalISA®、footprint®和floatrix®，这些由CoreProve®驱动，旨在利用商业EDA工具实现全证收敛，提供端到端的形式验证签字。通过将先进的自动化与专家驱动的分析相结合，团队交付数学上经过验证的结果，确保在RTL到硅片之前不遗漏任何缺陷。这种方法实现了从单个设计块到全芯片、签字级验证的覆盖，同时提供对PPA敏感区域的额外可见性。

“我们很高兴与Akeana合作，实现其超标量核心的全面覆盖，”Axiomise首席执行官Dr. Ashish Darbari表示。“形式验证提供了每个边角情况都被分析的保证。通过结合我们的深厚形式验证专业知识和footprint，我们能够在功能、性能和面积指标上提供洞察，确保下一代RISC-V设计的最高质量验证。”

Akeana的最新成就包括推出Alpine，一款采用4nm工艺的硅片/软件开发板，配备高性能的乱序核心。该项目标志着高性能RISC-V采用的重要里程碑，也展示了形式验证在现代SoC设计中的关键作用。

关于Akeana

Akeana在半导体IP创新和性能方面引领变革，致力于提供世界一流的基于RISC-V的计算、互连和AI加速器IP解决方案。总部位于加利福尼亚州圣克拉拉，这家风险投资支持的初创公司致力于赋能客户，提供高度可配置的技术和公平的授权选项，超越当今遗留供应商和架构的限制。凭借一支经验丰富的工程师团队，Akeana处于易于优化的半导体IP的前沿。其不断增长的专利组合反映了其满足行业不断变化需求和挑战的承诺。在知名投资者如Kleiner Perkins、Mayfield和Fidelity Ventures的支持下，Akeana正在重新定义微控制器、移动计算、汽车、数据中心和云计算的可能性。电子邮箱：sales@akeana.com。

继续阅读

关于Axiomise

Axiomise通过其独特的咨询、服务、培训和定制软件解决方案，加速形式验证的普及。Axiomise总部位于英国，由Dr. Ashish Darbari（FBCS、FIETE、牛津DPhil）和Dr. Vidya Chandran Darbari（剑桥博士、MBBS、MRSB、FHEA）创立。在过去的8年中，Axiomise已帮助超过20个客户，结合形式验证培训，培训了超过一千名工程师，并为一些最大的硅设计公司提供咨询、服务和定制应用。

与Axiomise互动：

官网：www.axiomise.com
Twitter：@axiomise
LinkedIn：

Axiomise、CoreProve、footprint、formalISA、floatrix及Axiomise标志均为Axiomise Limited，英国的商标。

欲了解更多信息，请联系：

Fabiana Muto
Axiomise公共关系
+44 1442 345 046
fabiana.muto@axiomise.com

来源：Axiomise Ltd.

在ACCESS新闻快讯查看原始新闻稿