A Axiomise lança o nocProve, um aplicativo que usa matemática para verificar rapidamente projetos complexos de chips, acelerando a IA e o desenvolvimento de computação de alto desempenho. Axiomise launches nocProve, an app that uses math to quickly verify complex chip designs, speeding up AI and high-performance computing development.

A Axiomise lançou o nocProve, um novo aplicativo que automatiza a verificação formal de projetos complexos de rede em chip (NoC) usados em IA e chips de computação de alto desempenho. 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. Usando seu motor CoreProve, a nocProve fornece provas exaustivas e matematicamente garantidas para correção funcional e desempenho, detectando erros de canto cedo sem testbenches manuais. Using its CoreProve® engine, nocProve provides exhaustive, mathematically guaranteed proofs for functional correctness and performance, detecting corner-case bugs early without manual testbenches. A ferramenta suporta vários protocolos como AXI4, AXI5 e CHI, e verificou o design de código aberto FlooNoC - com 288 núcleos RISC-V e 103 Tb / s de largura de banda - em menos de quatro horas. 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. Permite uma rápida convergência de provas com configuração mínima, reduzindo o tempo de verificação e acelerando o tempo de entrada no mercado. It enables rapid proof convergence with minimal setup, reducing verification time and accelerating time-to-market. Fundada pelo Dr. Ashish Darbari e Dr. Vidya Chandran Darbari, a Axiomise já apoiou mais de 20 clientes e treinou milhares de engenheiros em verificação formal ao longo de oito anos. 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.