Akeana et Axiomise ont vérifié une puce RISC-V de 4nm à l'aide d'outils formels, en trouvant des bogues et en ouvrant la voie à RISC-V dans des industries clés. 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 fournisseur IP RISC-V basé à Santa Clara, a vérifié avec succès sa puce de test alpin 4nm avec la firme britannique Axiomise à l'aide d'outils de vérification formels, découvrant des bogues fonctionnels et une logique redondante. 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 collaboration, qui a permis de tirer parti des outils à propulsion CoreProve, a permis d'obtenir une couverture mathématique rigoureuse sur les aspects fonctionnels et PPA, marquant ainsi une étape importante pour l'adoption de RISC-V à haute performance sur les marchés de l'informatique, de l'automobile et des centres de données. 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.