Key Points
- VerifAIX raises $5 million seed funding from Endiya Partners and Bluehill VC
- Startup builds AI platform to verify chip designs created by generative AI tools
- India semiconductor market projected to reach $155 billion by 2031
VerifAIX, a semiconductor verification startup, has raised $5 million (approximately ₹48 crore) in seed funding to scale its artificial intelligence platform that checks whether chip designs function as intended. The round was co-led by Endiya Partners and Bluehill VC.
The funding marks the first institutional investment in VerifAIX, which was founded in 2024 by Madhulima Tewari, Kenneth Roe and Avner Landver. The startup said it will use the capital to accelerate product development, expand customer deployments and grow engineering teams across the United States, India and Israel.
VerifAIX is building what it describes as a verification trust layer for AI-driven chip design. The platform addresses a growing problem in semiconductor development: as artificial intelligence tools generate chip designs faster, engineering teams need systems that can independently confirm whether these designs meet their original specifications.
The startup’s approach centres on a component it calls Formal Brain, which creates a mathematically grounded representation of a chip design and its intended behaviour. The system analyses specifications, register-transfer level code and verification assets to identify inconsistencies and gaps. Register-transfer level code, commonly called RTL, describes how data moves between the registers in a chip and the logical operations performed on that data.
Verification platform
Unlike tools that primarily use large language models to generate verification code, VerifAIX said its platform combines AI-based reasoning with deterministic verification methods that rely on mathematical proofs rather than probabilistic outputs. Its AI agents cover multiple stages of the verification process, including specification analysis, verification planning, testbench generation, formal analysis, simulation, coverage and debugging.
The platform flags gaps and potential errors in specifications and recommends fixes, according to the company.
“AI is changing how semiconductor designs are created, but generating a design is not the same as proving that it is correct,” said Madhulima Tewari, CEO, VerifAIX. She added that the startup plans to build an independent verification layer that can establish the correctness of AI-generated designs while maintaining traceability to the original design intent.
The startup is targeting semiconductor and chip intellectual property companies, processor and AI accelerator developers, hyperscalers and other custom silicon developers. VerifAIX views electronic design automation vendors as partners rather than customers, positioning itself as a complement to existing design tools rather than a replacement.
VerifAIX market
The funding comes amid growing investor interest in India’s semiconductor ecosystem, particularly across chip design, testing and specialised components. Earlier this year, semiconductor startup HrdWyr raised $13 million to accelerate the development of its AI-native system-on-chip products and expand its global customer engagements.
The sector has also begun producing exits. German semiconductor company Infineon agreed to acquire Peak XV-backed C2i Semiconductors for an undisclosed amount. The two-year-old startup builds power-management solutions for AI data centres and cloud infrastructure. The acquisition came months after C2i closed its Series A funding round at $16.7 million (₹160.5 crore), led by Peak XV Partners, with participation from TDK Ventures and existing investor Yali Capital.
By the numbers
Key figures from this story- $5 million
- Seed funding raised by VerifAIX
- ₹1.28 lakh crore
- India Semicon 2.0 mission outlay
- $155 billion
- Projected India semiconductor market by 2031
On the policy front, the Union Cabinet cleared the second phase of the India Semiconductor Mission, called Semicon 2.0, with an outlay of ₹1.28 lakh crore to strengthen the country’s chip design and manufacturing ecosystem.
India’s semiconductor market is projected to grow from approximately $62 billion in 2026 to $155 billion by 2031, driven by domestic demand, policy support and global supply chain diversification, according to industry estimates.
The verification challenge VerifAIX addresses has become more pressing as AI tools increasingly generate semiconductor designs. Formal verification, the process of mathematically proving that a design meets its specifications, has traditionally been time-consuming and required specialised expertise. The startup’s platform aims to automate significant portions of this workflow while maintaining the rigour that chip manufacturers require before committing designs to fabrication.
Your Questions, Answered
What does VerifAIX do?
VerifAIX builds an AI platform that verifies semiconductor chip designs meet their specifications. The platform uses mathematical proofs and AI reasoning to check designs created by generative AI tools, identifying inconsistencies and gaps before chips go to fabrication.
How much funding did VerifAIX raise?
VerifAIX raised $5 million (approximately ₹48 crore) in seed funding. The round was co-led by Endiya Partners and Bluehill VC and marks the startup's first institutional investment.
What is formal verification in chip design?
Formal verification is the process of mathematically proving that a chip design meets its specifications. Unlike simulation-based testing, formal verification provides mathematical certainty about design correctness, which is critical before committing designs to expensive fabrication.
What is India's semiconductor market size?
India's semiconductor market is projected to grow from approximately $62 billion in 2026 to $155 billion by 2031, driven by domestic demand, policy support including the ₹1.28 lakh crore Semicon 2.0 initiative, and global supply chain diversification.
