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 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, 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. 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. 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. 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.