Akeana e Axiomise verificaram um chip RISC-V de 4nm usando ferramentas formais, encontrando bugs e abrindo caminho para o RISC-V em indústrias-chave. 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, um provedor IP RISC-V com sede em Santa Clara, verificou com sucesso seu chip de teste Alpine de 4nm com a empresa britânica Axiomise usando ferramentas de verificação formal, descobrindo bugs funcionais e 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. A colaboração, aproveitando as ferramentas da Axiomise, conseguiu uma cobertura matematicamente rigorosa em aspectos funcionais e PPA, marcando um marco para a adoção de RISC-V de alto desempenho nos mercados de computação, automotivo e de data center. 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.