Axiomise launches nocProve, an app that uses math to quickly verify complex chip designs, speeding up AI and high-performance computing development. Axiomise lanza nocProve, una aplicación que utiliza las matemáticas para verificar rápidamente los diseños complejos de chips, acelerando la IA y el desarrollo de computación de alto rendimiento.

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. Axiomise ha lanzado nocProve, una nueva aplicación que automatiza la verificación formal de complejos diseños de red en chip (NoC) utilizados en AI y chips de computación de alto rendimiento. Using its CoreProve® engine, nocProve provides exhaustive, mathematically guaranteed proofs for functional correctness and performance, detecting corner-case bugs early without manual testbenches. Utilizando su motor CoreProve®, nocProve proporciona pruebas exhaustivas y matemáticamente garantizadas para la corrección y el rendimiento funcionales, detectando errores en las esquinas temprano sin bancos de prueba manuales. 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. La herramienta soporta múltiples protocolos como AXI4, AXI5 y CHI, y verificó el diseño de código abierto FlooNoC con 288 núcleos RISC-V y ancho de banda de 103 Tb/s en menos de cuatro horas. It enables rapid proof convergence with minimal setup, reducing verification time and accelerating time-to-market. Permite una convergencia rápida con una configuración mínima, reduciendo el tiempo de verificación y acelerando el tiempo de comercialización. 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. Fundada por el Dr. Ashish Darbari y el Dr. Vidya Chandran Darbari, Axiomise ha apoyado a más de 20 clientes y ha entrenado a miles de ingenieros en verificación formal durante ocho años.