Axiomise bringt nocProve auf den Markt, eine App, die mithilfe von Mathematik komplexe Chip-Designs schnell verifiziert und die Entwicklung von KI und Hochleistungscomputern beschleunigt. Axiomise launches nocProve, an app that uses math to quickly verify complex chip designs, speeding up AI and high-performance computing development.

Axiomise hat nocProve eingeführt, eine neue App, die formale Überprüfung von komplexen Netzwerk-on-Chip (NoC)-Designs in AI und Hochleistungs-Computing-Chips automatisiert. 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. Mit seinem CoreProve®-Engine bietet nocProve erschöpfende, mathematisch garantierte Nachweise für funktionale Korrektheit und Leistungsfähigkeit, die Eckgehäusefehler frühzeitig ohne manuelle Testbänke erkennen. Using its CoreProve® engine, nocProve provides exhaustive, mathematically guaranteed proofs for functional correctness and performance, detecting corner-case bugs early without manual testbenches. Das Tool unterstützt mehrere Protokolle wie AXI4, AXI5 und CHI und verifiziert das Open-Source FlooNoC-Design – mit 288 RISC-V-Kernen und 103 Tb/s Bandbreite – in weniger als vier Stunden. 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. Es ermöglicht eine schnelle und sichere Konvergenz mit minimalem Setup, verkürzt die Verifikationszeit und beschleunigt die Markteinführungszeit. It enables rapid proof convergence with minimal setup, reducing verification time and accelerating time-to-market. Gegründet von Dr. Ashish Darbari und Dr. Vidya Chandran Darbari, hat Axiomise über 20 Kunden unterstützt und Tausende von Ingenieuren in der formalen Verifikation über acht Jahre ausgebildet. 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.