Akeana y Axiomise verificaron un chip RISC-V de 4 nm utilizando herramientas formales, encontrando errores y allanando el camino para RISC-V en industrias clave. Akeana and Axiomise verified a 4nm RISC-V chip using formal tools, finding bugs and paving the way for RISC-V in key industries.

Akeana, un proveedor de IP RISC-V con sede en Santa Clara, ha verificado con éxito su chip de prueba Alpine de 4 nm con la empresa británica Axiomise utilizando herramientas de verificación formales, descubriendo errores funcionales y lógica redundante. Akeana, a Santa Clara-based RISC-V IP provider, has successfully verified its 4nm Alpine test chip with UK firm Axiomise using formal verification tools, uncovering functional bugs and redundant logic. La colaboración, aprovechando las herramientas impulsadas por CoreProve de Axiomise, logró una cobertura matemáticamente rigurosa en los aspectos funcionales y de PPA, marcando un hito para la adopción de RISC-V de alto rendimiento en los mercados de computación, automoción y centros de datos. The collaboration, leveraging Axiomise’s CoreProve-powered tools, achieved mathematically rigorous coverage across functional and PPA aspects, marking a milestone for high-performance RISC-V adoption in computing, automotive, and data center markets.