اکیانا اور ایکسیومیز نے رسمی ٹولز کا استعمال کرتے ہوئے 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 نے اپنے 4nm الپائن ٹیسٹ چپ کو برطانیہ کی فرم 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. اس تعاون نے ، ایکسیومیز کے کور پروو سے چلنے والے ٹولز کا فائدہ اٹھاتے ہوئے ، فنکشنل اور پی پی اے پہلوؤں میں ریاضیاتی طور پر سخت کوریج حاصل کی ، جس نے کمپیوٹنگ ، آٹوموٹو اور ڈیٹا سینٹر مارکیٹوں میں اعلی کارکردگی والے 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.