अकेना और एक्सिओमाइस ने औपचारिक उपकरणों का उपयोग करके 4एनएम आरआईएससी-वी चिप को सत्यापित किया, बग ढूंढने और प्रमुख उद्योगों में आरआईएससी-वी के लिए मार्ग प्रशस्त किया। 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 के साथ अपनी 4nm अल्पाइन परीक्षण चिप को सफलतापूर्वक सत्यापित किया है, कार्यात्मक बग और निरर्थक तर्क को उजागर किया है। 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. एक्सिओमाइज के कोरप्रोव-संचालित उपकरणों का लाभ उठाते हुए इस सहयोग ने कार्यात्मक और पीपीए पहलुओं में गणितीय रूप से कठोर कवरेज हासिल की, जो कंप्यूटिंग, ऑटोमोटिव और डेटा सेंटर बाजारों में उच्च प्रदर्शन वाले आरआईएससी-वी को अपनाने के लिए एक मील का पत्थर है। 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.