Axiomise نے nocProve لانچ کیا، جو ایک ایپ ہے جو ریاضی کے ذریعے پیچیدہ چپ ڈیزائنز کی تیزی سے تصدیق کرتی ہے، جس سے AI اور ہائی پرفارمنس کمپیوٹنگ کی ترقی تیز ہو جاتی ہے۔ Axiomise launches nocProve, an app that uses math to quickly verify complex chip designs, speeding up AI and high-performance computing development.

ایکسیومیز نے نوپروو لانچ کیا ہے ، ایک نئی ایپ جو اے آئی اور اعلی کارکردگی والے کمپیوٹنگ چپس میں استعمال ہونے والے پیچیدہ نیٹ ورک آن چپ (این او سی) ڈیزائنوں کی باضابطہ تصدیق کو خودکار کرتی ہے۔ Axiomise has launched nocProve, a new app that automates formal verification of complex network-on-chip (NoC) designs used in AI and high-performance computing chips. اپنے CoreProve® انجن کا استعمال کرتے ہوئے، nocProve فنکشنل درستگی اور کارکردگی کے لیے مکمل، ریاضیاتی طور پر یقینی ثبوت فراہم کرتا ہے، اور بغیر دستی ٹیسٹ بینچز کے کارنر کیس بگز کو جلد ہی پکڑ لیتا ہے۔ Using its CoreProve® engine, nocProve provides exhaustive, mathematically guaranteed proofs for functional correctness and performance, detecting corner-case bugs early without manual testbenches. یہ ٹول اے ایکس آئی 4، اے ایکس آئی 5، اور سی ایچ آئی جیسے متعدد پروٹوکول کی حمایت کرتا ہے، اور اوپن سورس فلو این او سی ڈیزائن کی تصدیق کرتا ہے-جس میں 288 آر آئی ایس سی-وی کور اور 103 ٹی بی/ایس بینڈوتھ شامل ہیں-چار گھنٹے سے بھی کم وقت میں۔ The tool supports multiple protocols like AXI4, AXI5, and CHI, and verified the open-source FlooNoC design—featuring 288 RISC-V cores and 103 Tb/s bandwidth—in under four hours. یہ کم سے کم سیٹ اپ کے ساتھ تیز رفتار ثبوت کنورجنس کو قابل بناتا ہے، تصدیق کے وقت کو کم کرتا ہے اور مارکیٹ میں وقت کو تیز کرتا ہے۔ It enables rapid proof convergence with minimal setup, reducing verification time and accelerating time-to-market. ڈاکٹر آشیش درباری اور ڈاکٹر ودیا چندران درباری کے ذریعہ قائم کردہ ایکسیومائز نے آٹھ سالوں میں 20 سے زیادہ صارفین کی مدد کی ہے اور ہزاروں انجینئروں کو باضابطہ تصدیق کی تربیت دی ہے۔ Founded by Dr. Ashish Darbari and Dr. Vidya Chandran Darbari, Axiomise has supported over 20 customers and trained thousands of engineers in formal verification over eight years.