艾克西米斯推出了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已推出新程序NecProve, 将人工智能和高性能计算芯片中使用的复杂芯片网络(NOC)设计的正式验证自动化。 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核心和103Tb/s带宽。 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. Axiomise由Ashish Darbari博士和Vidya Chandran Darbari博士创办,在八年时间里,Axiomise支持了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.