VerifAIX, an AI-native semiconductor verification company, has raised USD 5 million in seed funding in a round co-led by Endiya Partners and Bluehill VC. The funding represents the company’s first institutional investment and will support product development, customer deployments, and the expansion of its engineering teams across the US, India, and Israel.
As semiconductor designs become increasingly complex and AI becomes more deeply integrated into chip development, engineering teams face a critical challenge: establishing whether AI-generated designs meet their intended specifications and function correctly.
VerifAIX aims to address this challenge by building a verification trust layer for AI-driven semiconductor development. At the centre of its platform sits a “Formal Brain”, which develops a mathematically grounded understanding of a chip design and its intended behaviour.
The platform reasons across specifications and RTL and verification assets to identify inconsistencies and gaps. It then uses this foundation to support verification planning, formal analysis, simulation, coverage, debugging, and verification closure.
Unlike approaches that primarily use large language models to generate verification code, VerifAIX combines AI-based reasoning with deterministic and mathematically rigorous verification methods. Moreover, its platform brings together specification-to-RTL reasoning, automated decomposition and abstraction, as well as coordinated formal and simulation verification while maintaining traceability to design intent.
VerifAIX was founded by Madhulima Tewari, Kenneth Roe, and Avner Landver, who collectively bring experience across AI, semiconductor design, formal and functional verification, mathematical methods, electronic design automation (EDA), and complex chip development.
Madhulima has experience spanning AI/NLP, enterprise software, and semiconductor EDA. Meanwhile, Ken has decades of experience in formal verification, including building production verification infrastructure at Intel and working with SiFive and Synopsys. Avner brings expertise in semiconductor verification methodology, formal methods, and EDA tool development, supported by experience at Apple, Intel, Cadence, and IBM Research.
Dr. Aarti Gupta, Professor of Computer Science at Princeton University, serves as Founding Consultant. In addition, Vin Dham, one of the pioneers behind Intel’s Pentium processor, serves as Founding Advisor and investor.
The company believes that AI is transforming semiconductor design, but generating a chip design does not by itself establish its correctness. Therefore, as AI becomes increasingly embedded in engineering workflows, semiconductor developers need an independent verification layer that can establish correctness while maintaining traceability to the original design intent.
VerifAIX has already developed a working platform and is deploying it with multiple semiconductor companies on real-world verification challenges. These deployments include complex control-intensive and protocol-heavy designs. The company is targeting semiconductor and IP companies, processor and AI accelerator developers, hyperscalers, and systems companies.
Investors view chip correctness as an increasingly important challenge as AI accelerates semiconductor development. VerifAIX’s approach combines AI with its mathematically grounded Formal Brain and brings together expertise in AI, formal verification, and semiconductor engineering.
Furthermore, verification remains one of the most complex and resource-intensive stages of chip development. As semiconductor designs grow more sophisticated and AI accelerates engineering workflows, the demand for robust verification is also expected to increase.
The latest funding will enable VerifAIX to further develop its Formal Brain and scale its automated abstraction and decomposition capabilities for larger designs. The company will also strengthen its formal and simulation verification capabilities while expanding customer deployments.
Additionally, VerifAIX plans to grow its engineering teams across the US, India, and Israel, with a focus on AI research, formal verification, and semiconductor engineering. Through these investments, the company aims to advance its verification platform for increasingly complex AI-driven semiconductor development.
