Akeana и Axiomise проверили чип RISC-V 4nm с использованием официальных инструментов, поиска ошибок и прокладывания пути для RISC-V в ключевых отраслях. 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, базирующийся в Санта-Кларе поставщик RISC-V IP, успешно проверил свой 4-нм тестовый чип с британской фирмой Axiomise с использованием официальных инструментов проверки, выявления функциональных ошибок и избыточной логики. 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. Это сотрудничество, основанное на использовании инструментов CoreProve, позволило добиться математически жесткого охвата всех функциональных аспектов и аспектов РРС, что стало важной вехой на пути внедрения высокоэффективных РИСК-V на рынках компьютеров, автомобилей и центров данных. 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.