Axiomie lance nocProve, une application qui utilise les mathématiques pour vérifier rapidement les conceptions complexes de puces, accélérer l'IA et le développement informatique haute performance. Axiomise launches nocProve, an app that uses math to quickly verify complex chip designs, speeding up AI and high-performance computing development.

Axiomie a lancé nocProve, une nouvelle application qui automatise la vérification formelle des conceptions complexes de réseaux sur puces (NoC) utilisées dans l'IA et les puces informatiques haute performance. 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. Grâce à son moteur CoreProve®, nocProve fournit des preuves exhaustives et mathématiquement garanties pour la justesse et la performance fonctionnelles, en détectant les bogues de corner tôt sans test-benches manuelles. Using its CoreProve® engine, nocProve provides exhaustive, mathematically guaranteed proofs for functional correctness and performance, detecting corner-case bugs early without manual testbenches. L'outil prend en charge plusieurs protocoles comme AXI4, AXI5 et CHI, et a vérifié la conception de FlooNoC open source – avec 288 cœurs RISC-V et 103 Tb/s de bande passante – en moins de quatre heures. 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. Il permet une convergence rapide des preuves avec une configuration minimale, réduisant le temps de vérification et accélérant le temps de mise sur le marché. It enables rapid proof convergence with minimal setup, reducing verification time and accelerating time-to-market. Fondée par le Dr Ashish Darbari et le Dr Vidya Chandran Darbari, Axiomise a soutenu plus de 20 clients et formé des milliers d'ingénieurs à la vérification formelle sur huit ans. 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.