Akeana Partners with Axiomise for Formal Verification of Its Cores

Verifying super-scalar cores with formal ensures

LONDON, UK / ACCESS Newswire / February 24, 2026 / Akeana, a number one supplier of RISC-V IP, at present confirmed that its partnership with Axiomise has been essential for formally verifying its superior super-scalar RISC-V take a look at chip Alpine. The collaboration ensures that each useful and PPA (Energy, Efficiency, Space) nook circumstances are totally analyzed earlier than silicon tape-out.

Alpine is 4nm silicon/software program growth board with excessive efficiency out-of-order cores, which requires a stable verification strategy. “Inside a couple of months of our engagement, Axiomise’s formal verification experience has not solely recognized useful points however potential redundant logic, which we weren’t anticipating. Their mixture of automated instruments and deep area information has proven us that formal verification will stay a precious verification know-how for us sooner or later”, says Nitin Rajmohan, co-founder of Akeana Inc.

Axiomise’s methodology combines deep formal verification experience with its proprietary apps, comparable to formalISA®, footprint®, and floatrix®, which might be powered by CoreProve® designed to acquire full proof convergence utilizing the industrial EDA instruments to offer end-to-end formal verification sign-off. By integrating superior automation with expert-driven evaluation, the staff delivers mathematically confirmed outcomes that guarantee no bug is missed earlier than RTL reaches silicon. This strategy permits protection from particular person design blocks to full-chip, sign-off degree verification, whereas additionally offering extra visibility into PPA-sensitive areas.

“We’re delighted to work with Akeana to realize exhaustive protection on their super-scalar cores,” says Dr. Ashish Darbari, CEO of Axiomise. “Formal verification supplies ensures that each nook case is analyzed. By combining our deep formal verification experience and footprint, we’re capable of ship insights throughout useful, efficiency, and space metrics, making certain the best high quality verification for next-generation RISC-V designs.”

Akeana’s newest achievement contains the tape-out of Alpine , a 4nm silicon/software program growth board that includes excessive efficiency out-of-order cores. The venture represents a major milestone for high-performance RISC-V adoption and demonstrates the essential position formal verification performs in fashionable SoC design.

About Akeana

Akeana is a driving drive of change in semiconductor IP innovation and efficiency, on a mission to ship world-class RISC-V-based compute, interconnect, and AI accelerator IP options. Headquartered in Santa Clara, California, this venture-funded startup is devoted to empowering prospects with extremely configurable know-how and equitable licensing choices, transferring past the constraints of at present’s legacy distributors and architectures. With an skilled staff of engineers, Akeana is on the forefront of easy-to-optimize semiconductor IP. Its rising patent portfolio displays a dedication to fulfill the trade’s ever-evolving wants and challenges. Supported by famend traders, together with Kleiner Perkins, Mayfield, and Constancy Ventures, Akeana is redefining what’s attainable in microcontrollers, cell computing, automotive, knowledge facilities, and cloud computing. https://www.akeana.com/ electronic mail: [email protected].

About Axiomise

Axiomise accelerates formal verification adoption by means of its distinctive mixture of consulting, companies, coaching, and customized software program options. Axiomise is headquartered within the within the UK and was based by Dr. Ashish Darbari (FBCS, FIETE, DPhil Oxon) and Dr. Vidya Chandran Darbari (PhD Cantab, MBBS, MRSB, FHEA). Within the final 8 years, Axiomise has helped over 20 prospects with a singular mixture of formal verification coaching, having skilled over thousand engineers and serving to among the greatest names in silicon design with its consulting & companies and customized apps.

Have interaction with Axiomise at:

Web site: http://www.axiomise.com
Twitter: @axiomise
LinkedIn: https://www.linkedin.com/company/axiomise/

Axiomise, CoreProve, footprint, formalISA, floatrix and the Axiomise emblem are emblems of Axiomise Restricted, UK.

For extra info, contact:

Fabiana Muto
Public Relations for Axiomise
+44 1442 345 046
[email protected]

SOURCE: Axiomise Ltd.