AIと高性能なコンピュータの開発を早送りして複雑なチップデザインを素早く検証するための数学を用いたアプリであるAxymizing NOCProve (Axystem on noProve). Axiomise launches nocProve, an app that uses math to quickly verify complex chip designs, speeding up AI and high-performance computing development.

Axymaxyesは,AIと高性能なコンピュータチップに使用される複雑なネットワーク-ON-chip (NOC) デザインの自動検証を行う新アプリNOCPRを始動させた. 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. nocProve は、CorromeProbeエンジンを使用して、機能的に正確かつ効率的に証明し、手動テストベンチなしで早期にコーナーケースバグを検出します。 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など複数のプロトコルをサポートし,オープンソースのFLOLNOC設計を検証します。 - feature 288 RISC-Vコアと103 Tb/sc-closes - 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. Dr. アシシュ・ダルバリ博士とビディヤ・チャンドラン・ダルバリ博士が設立,アクシミーズは20人のお客様を応援し,8年以上にわたって正式検証で数千人のエンジニアを訓練してきた. 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.