Agnisys and Axiomise Partner for NoC Design Efficiency

Agnisys and Axiomise have announced a strategic partnership aimed at revolutionizing the design and verification of network-on-chip (NoC) architectures, particularly for complex applications such as artificial intelligence (AI), graphics processing units (GPU), and AI inference engines. The collaboration brings together Agnisys' expertise in specification-driven chip automation and NoC design with Axiomise's leading-edge formal verification technology, enabling customers to achieve faster time-to-market and higher levels of verification confidence for their NoC designs.

IDS-NoC™, Agnisys' automated NoC generation solution, will be integrated with Axiomise's nocProve® formal verification technology. The partnership is designed to address the critical challenges faced by semiconductor designers, especially those working on AI processors, GPUs, and AI inference engines, where performance, scalability, and correctness are paramount. By combining automated NoC generation with formal verification, the companies aim to provide a streamlined process that eliminates last-minute issues and the need for respins, ensuring that customers can deliver robust, production-ready NoC designs to market more efficiently.

IDS-NoC™ is a solution for automated network-on-chip design, while nocProve® is Axiomise's formal verification technology. The partnership leverages Agnisys' IDS-NoC to generate NoC designs and then verifies these designs using Axiomise's nocProve, a formal verification tool that ensures the NoC designs meet all specified requirements without the need for extensive manual testing. This integration of automation and formal verification promises to significantly reduce the time and effort required for NoC design and sign-off, making it more accessible and efficient for a wide range of applications.

The collaboration underscores Agnisys' and Axiomise's commitment to pushing the boundaries of NoC design and verification. By combining their respective strengths, the companies are positioning themselves at the forefront of the NoC market, offering a comprehensive solution that addresses the most critical challenges faced by designers of complex chip architectures. This partnership is expected to drive innovation and efficiency in the semiconductor industry, particularly in the development of AI, GPU, and inference chip designs.