Agnisys, Inc. and Axiomise have announced a partnership to combine IDS-NoC automated network-on-chip (NoC) generation with nocProve formal verification for AI processors, GPUs and AI inference engines.
The partnership aims to reduce time-to-market and increase the quality and verification confidence of complex NoC designs, where performance, scalability and correctness are critical.
Under the collaboration, NoCs created and generated using Agnisys’ IDS-NoC will be verified with Axiomise’s nocProve formal verification technology. The companies bring together Agnisys’ specification-driven chip automation and NoC design expertise with Axiomise’s formal verification expertise.
Ashish Darbari, CEO of Axiomise, said: “The NoC market needs more than point verification, it needs a scalable route from architectural intent to full formal sign-off. Through collaborations such as this one with Agnisys, Axiomise is enabling a growing ecosystem of NoC developers and solution providers to bring robust, production-ready NoCs to market with greater confidence and predictability.”
The companies aim to combine automated NoC generation with formal verification so formally verified NoCs can reach the market more quickly.
