Agnisys and Axiomise Collaborate to Accelerate NoC Design and Formal Sign-off
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 -- 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.”
Explore Agnisys IP:
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
Related Semiconductor IP
Related News
- Cadence Introduces Voltus-XP Technology with Extensive Parallelism, Up to 5X Acceleration, and Increased Capacity for Power Signoff at Advanced Nodes
- Axiomise Unveils Intelligent Debug Solution for Formal Verification of RISC-V Cores
- The Art of Predictability : How Axiomise is Making Formal Verification Mainstream
- Meet Axiomise's Ashish Darbari at DAC to Learn about Benefits of Formal Verification
Latest News
- Agnisys and Axiomise Collaborate to Accelerate NoC Design and Formal Sign-off
- TSMC Reports Third Quarter EPS of NT$29.43
- ChipAgents Collaborates With NVIDIA to Launch Build-A-Chip-Bench for Autonomous Chip Design and Implementation
- Quintauris and Microchip Technology join forces to grow RISC-V® adoption
- BrainChip Launches Sequora: Edge AI That Doesn’t Just Recognize — It Understands and Responds