On September 16, 2026, Indian startup VerifAIX, which automates chip design verification, raised $5 million in seed funding. At $1 ≈ ¥155 (as of September 2026), that's about JPY 780 million, equivalent to ₹48 crore (480 million rupees, or about JPY 800 million at ₹1 ≈ ¥1.66). For VerifAIX, founded in 2024, this is its first funding from institutional investors. The use of funds is narrowed to hiring more engineers across its three bases in the US, India, and Israel, and accelerating product development. For Japanese companies involved in semiconductor design, EDA, and contract verification, this offers material for gauging where India-originated deep tech is digging into the verification process.
The round was co-led by Endiya Partners and Bluehill VC. This is VerifAIX's first funding from institutional investors. It was co-founded by three people: Madhulima Tewari (CEO), Kenneth Roe, and Avner Landver. The company explicitly states the funds will go toward accelerating product development, expanding customer adoption, growing its engineering team across the US, India, and Israel, and advancing its core technology, "Formal Brain." What sets this apart from a mere funding announcement is that it disclosed not just the amount, but the specific investment target of extending automatic abstraction and decomposition capability to large-scale chip designs.
Formal verification of chips is a method that mathematically confirms, exhaustively, that a design works as specified, and has the strength of catching flaws that simulation can't fully catch. On the other hand, the larger a chip's scale, the more the computational load of verification jumps up, and it easily becomes the rate-limiting step in development. VerifAIX is trying to solve this bottleneck by combining AI inference with deterministic, mathematically rigorous verification. Behind its ability to close its first institutional round just two years after founding is the broader trend of India trying to thicken the upstream base of semiconductor design and verification.
VerifAIX's "Formal Brain" is a mechanism that automatically carries out abstraction and decomposition so that large-scale chip designs can be handled. AI automatically breaks up what used to be manually divided verification targets, and bridges them to formal verification and simulation tools. The aim is to reduce the time engineers need to stay glued to the task, and to bring the method to bear on larger designs. Its three-base setup across the US, India, and Israel spreads development across regions with design talent and verification demand, showing a posture of positioning India as part of product development itself, not merely a development offshore.
Inc42 reported this round as VerifAIX's first funding from institutional investors. The reporting specifically highlights that it brought in investors Endiya Partners and Bluehill VC as co-leads just two years after founding, and that it disclosed the use of funds tied to product development and headcount across its three bases. What stands out is that it is framed not around an exaggerated future vision, but around the concrete problem of keeping verification in step with expanding design scale.
Japanese semiconductor strength lies in equipment, materials, and back-end processes, but in the software-leaning process of design verification, Indian deep tech has already made its move first. The move by an Indian company to win a contract for assembling Japanese automotive chips is Indian companies winning contracts to assemble Japanese automotive chips covered there, and both the manufacturing base and the designers are shifting toward India at the same time. The pattern of India-originated SaaS incorporating US AI is also India's MoEngage acquires a US AI company, reversing the usual flow and visible in Rocketlane's Series C and agentic AI, and verification AI, too, will come looking for a connection to Japanese design floors as part of this same current.
The move of a former Infosys chief launching into AI outsourcing was AI outsourcing venture from a former Infosys chief covered there, and VerifAIX's funding round sits within the same broader flow of money gathering into India's AI and deep tech. Investment flowing into the plain but indispensable process of verification shows that India's semiconductor ecosystem is moving from a stage of prototyping and promotion into a stage of implementation.
Japanese companies with verification, EDA, and contract-design tools and talent should first sort out which of VerifAIX's three development bases — the US, India, and Israel — offers room for collaboration. As a next step, it's worth identifying Indian semiconductor design and verification players from the exhibitors and speakers at SEMICON India 2026, and compiling a single contact list that includes formal-verification-focused startups like Formal Brain.
RECENT
2026.09.24Bridgestone India’s 30th-anniversary film builds on the founder’s motto2026.09.24Flipkart’s move: putting the two meanings of "BBD" on Kolkata buses2026.09.24Veteran fertilizer maker KICL enters beverages with coconut water, starting in three South Indian states2026.09.24Pinit delivers saris in under 45 minutes, setting up a mirror and lighting at the customer’s home to choose fromCONTACT
Considering entering the Indian market?
Building on the developments on the ground covered in this article, we will suggest an approach that fits your products.
Book a free consultation →SOJAPAN
We support Japanese companies entering India, from market research through local partner development, test sales, and import.