Agnisys and Axiomise partner to pair IDS-NoC™ automated NoC generation with nocProve® formal verification for AI, GPU, and inference chip designs.
GARLAND, TX, UNITED STATES, October 14, 2026 /EINPresswire.com/ — Agnisys, Inc., a pioneer in chip automation, and Axiomise, a pioneer and industry leader in formal verification, today announced a partnership to combine their complementary technologies and expertise for the design and verification of network-on-chip (NoC) architectures.
As part of the partnership, NoCs created and generated using Agnisys’ IDS-NoC™ will be verified using Axiomise’ nocProve® formal verification technology. The collaboration brings together Agnisys’ expertise in specification-driven chip automation and NoC design with Axiomise’ expertise in formal verification.
The partnership is aimed at shrinking time-to-market and increase the quality and verification confidence of complex NoC designs, particularly for demanding applications such as AI processors, GPUs, and AI inference engines, where performance, scalability, and correctness are critical. By combining automated NoC generation with formal verification, the companies aim to provide a platform where formally verified NoCs can reach the market quicker, providing no last-minute nasty surprises and respins.
“We are delighted to launch this collaboration with Axiomise, bringing together Agnisys’ specification-driven NoC automation and Axiomise’s formal verification expertise,” said Anupam Bakshi, CEO of Agnisys, Inc. “By verifying IDS-NoC with nocProve, customers would get the best quality NoC designs which will accelerate their chip development.”
“The NoC market needs more than point verification, it needs a scalable route from architectural intent to full formal sign-off,” said Ashish Darbari, CEO of Axiomise. “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.”
About Agnisys
Agnisys is a pioneer in chip automation with two decades of expertise in specification-driven design and verification. Its IDesignSpec-AI™ enables semiconductor teams to automate the generation of design, integration, verification, validation, and documentation deliverables from executable specifications. Agnisys also offers IDS-NoC™, a solution for automated network-on-chip design.
Learn more at www.agnisys.com
About Axiomise
Axiomise, a leader in formal verification, is enabling semiconductor teams to deploy scalable, vendor-neutral formal verification across processors, NoCs, floating-point units, and complex SoC fabrics. Its technology portfolio includes the Axiomiser® platform, powered by CoreProve®, and formal verification applications such as formalISA®, nocProve®, floatrix®, and footprint®, complemented by consulting, services, and training that help customers achieve predictable verification closure and stronger sign-off outcomes.
Learn more at www.axiomise.com
Fabiana Muto
Axiomise Limited
fabiana.muto@axiomise.com
Tom Anderson
Agnisys, Inc.
+1 855-837-4399
marcom@agnisys.com
Visit us on social media:
LinkedIn
Instagram
Facebook
X
Other
Legal Disclaimer:
EIN Presswire provides this news content “as is” without warranty of any kind. We do not accept any responsibility or liability
for the accuracy, content, images, videos, licenses, completeness, legality, or reliability of the information contained in this
article. If you have any complaints or copyright issues related to this article, kindly contact the author above.
Media gallery
