एक्सिओमाइज ने नोकप्रोव लॉन्च किया, एक ऐसा ऐप जो जटिल चिप डिजाइनों को जल्दी से सत्यापित करने के लिए गणित का उपयोग करता है, एआई और उच्च प्रदर्शन वाले कंप्यूटिंग विकास को गति देता है। 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. अपने कोरप्रोव® इंजन का उपयोग करते हुए, नोकप्रोव कार्यात्मक शुद्धता और प्रदर्शन के लिए संपूर्ण, गणितीय रूप से गारंटीकृत प्रमाण प्रदान करता है, बिना मैनुअल टेस्टबेंच के कॉर्नर-केस बग का जल्दी पता लगाता है। 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.