AkeanaとAximoxyesは,公式ツールを使って4nml RISC-Vチップを検証し,バグを発見し、鍵産業における 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.

サンタクララを拠点とするRISC-V IPプロバイダーであるAkeanaは,公式の検証ツールを使用して,機能的なバグと冗長な論理を明らかにし,英国のAxiomise社と4nmAlpineテストチップを成功裏に検証しました. 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. このコラボレーションは,AxiomiseのCoreProve 対応ツールを利用して,機能的および PPA の側面を数学的に厳格にカバーし,コンピューティング,自動車,データセンター市場における高性能 RISC-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.