Axiomise запускает nocProve, приложение, которое использует математику для быстрой проверки сложных дизайнов чипов, ускорения AI и разработки высокоэффективных компьютеров. Axiomise launches nocProve, an app that uses math to quickly verify complex chip designs, speeding up AI and high-performance computing development.

Axiomise запустил nocProve, новое приложение, которое автоматизирует формальную проверку сложных сетевых дизайнов, используемых в AI и высокоэффективных вычислительных чипах. 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. Используя свой двигатель CoreProve, nocProve предоставляет исчерпывающие математически гарантированные доказательства функциональности и эффективности, выявляя ошибки в угловом случае на ранней стадии без ручных тестов. Using its CoreProve® engine, nocProve provides exhaustive, mathematically guaranteed proofs for functional correctness and performance, detecting corner-case bugs early without manual testbenches. Инструмент поддерживает несколько протоколов, таких, как AXI4, AXI5, и CHI, и проверяет дизайн FlooNoC с открытым исходным кодом: 288 ядер RISC-V и 103 Tb/s пропускная способность — менее чем за 4 часа. 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.