VerifAIX Bags $5 Mn To Scale AI-Based Chip Verification Platform

AI-focused semiconductor verification startup VerifAIX has successfully raised $5 million in seed funding as part of its first institutional round, led by Endiya Partners and Bluehill VC. The capital injection will fuel product growth, expand customer deployments, expand its engineering presence across US, India, and Israel, and enhance its proprietary "Formal Brain" technology.

Founded in 2024 by Madhulima Tewari, Kenneth Roe, and Avner Landver, VerifAIX aims to provide an AI-native platform for semiconductor engineering teams to verify chip designs. The growing deployment of AI across semiconductor design workflows, such as generating register-transfer level (RTL) code and other design and verification assets, has increased the demand for tools that can independently verify the correctness of these outputs.

VerifAIX's platform, centered around the Formal Brain, generates a mathematically grounded representation of a chip design and its intended behavior. It scrutinizes specifications, RTL code, and verification assets to uncover inconsistencies and gaps. Unlike tools that primarily rely on large language models to generate verification code, VerifAIX combines AI-based reasoning with deterministic, mathematically rigorous verification.

Its AI agents span multiple stages of the verification process, encompassing specification analysis, verification planning, testbench generation, formal analysis, simulation, coverage, and debugging. The platform also identifies gaps and potential errors in specifications and suggests corrective measures.

CEO Tewari emphasized that while AI is revolutionizing chip design creation, generating a design is not the same as proving its correctness. VerifAIX intends to develop an independent verification layer that can verify the correctness of AI-generated designs while preserving traceability to the original design intent. The startup targets semiconductor and chip IP companies, processor and AI accelerator developers, hyperscalers, and other custom-silicon developers, viewing EDA vendors as partners rather than customers.

India's semiconductor ecosystem, particularly in chip design, testing, and specialized components, is attracting considerable investor and policy interest. Earlier this year, HrdWyr raised $13 million to develop its AI-native system-on-chip products and expand globally. The ecosystem has also witnessed exits, with Infineon's acquisition of C2i Semiconductors for an undisclosed amount.

The Union Cabinet recently approved the second phase of the India Semiconductor Mission, Semicon 2.0, allocating ₹1.28 lakh crore to bolster India's semiconductor design and manufacturing ecosystem. With India's semiconductor market projected to grow from $62 billion in 2026 to $155 billion by 2031, the future looks promising for VerifAIX and the semiconductor industry.