VerifAIX builds an AI-native verification platform for semiconductor design, aimed at the stage of chip development that consumes the largest share of engineering effort. Founded in 2024 by Madhulima Tewari, Kenneth Roe and Avner Landver, it runs engineering teams across the United States, India and Israel. Its platform pairs AI with formal methods to create what the company calls a verification trust layer connecting design specifications, RTL and verification assets, so that verification remains traceable from design intent through to closure. Its Formal Brain builds a mathematically grounde
Founded
2024
Raised to date
$5M
1 round on record
Latest round
Seed
$5M · September 2026
About
Avner Landver is Co-founder of VerifAIX, a semiconductor eda company, founded in 2024. VerifAIX's most recent disclosed round was a funding round of $5M in September 2026.
Compiled from StartupFox records · updates as coverage is published
Company
V
VerifAIX
Funding
September 2026Seed$5MEndiya Partners (co-lead), Bluehill VC (co-lead)
Journey with VerifAIX
- 2024Founded
Founded by Madhulima Tewari, Kenneth Roe and Avner Landver to build an AI-native verification platform pairing machine learning with formal methods, with engineering teams spread across the United States, India and Israel.
- Sep 2026Funding
Raises a $5 million seed round co-led by Endiya Partners and Bluehill VC, funding product development, customer deployments and engineering expansion across its three locations.