Akeana und Axiomise verifizierten einen 4nm RISC-V-Chip mit formalen Werkzeugen, fanden Bugs und ebneten den Weg für RISC-V in wichtigen Branchen. 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, ein in Santa Clara ansässiger RISC-V IP-Anbieter, hat seinen 4nm Alpine-Testchip mit dem britischen Unternehmen Axiomise erfolgreich mit formalen Verifizierungstools verifiziert und Funktionsfehler und redundante Logik aufgedeckt. 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. Die Zusammenarbeit mit Axiomise-Tools mit CoreProve ermöglichte eine mathematisch strenge Abdeckung über funktionale und PPA-Aspekte hinweg und markierte einen Meilenstein für die Einführung von Hochleistungs-RISC-V in Computing-, Automobil- und Rechenzentrumsmärkten. 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.