半導体チップの設計検証を自動化するインドのスタートアップVerifAIXが、2026年9月16日に500万ドルのシード資金を調達した。金額は2026年9月時点で$1≈¥155換算の約7.8億円、₹48 Cr（4.8億ルピー、₹1≈¥1.66で約8.0億円）にあたる。設立2024年のVerifAIXにとって、これが初の機関投資家からの資金調達となる。使途は米国・インド・イスラエル3拠点でのエンジニア増員と製品開発の加速に絞られている。日本の半導体設計・EDA・受託検証に関わる企業にとって、印発のディープテックが検証工程のどこに食い込むかを測る材料になる。
調達はEndiya PartnersとBluehill VCが共同でリードした。VerifAIXにとってこれが最初の機関投資家からの資金調達となる。共同創業はMadhulima Tewari氏（CEO）、Kenneth Roe氏、Avner Landver氏の3名。同社は資金の使い道を、製品開発の加速、顧客導入の拡大、米国・インド・イスラエルにまたがるエンジニアリングチームの増員、そして中核技術「Formal Brain」の高度化と明示している。金額だけでなく、大規模なチップ設計へ自動抽象化・分解の能力を広げるという具体的な投資先まで公表した点が、単なる資金調達の発表と一線を画す。
チップの形式検証（formal verification）は、設計が仕様どおり動くことを数学的に網羅して確かめる手法で、シミュレーションでは拾いきれない不具合を捉える強みがある。一方でチップの規模が大きくなるほど検証の計算量が跳ね上がり、開発の律速になりやすい。VerifAIXはこのボトルネックを、AIの推論と決定論的で数学的に厳密な検証を組み合わせて解こうとしている。設立2年で初の機関投資家ラウンドを組めた背景には、インドが半導体の設計・検証という川上の裾野を厚くしようとする流れがある。
VerifAIXが掲げる「Formal Brain」は、大規模なチップ設計を扱えるよう抽象化と分解を自動で進める仕組みだ。人手で切り分けていた検証対象をAIが自動で区切り、形式検証とシミュレーションのツールに橋渡しする。エンジニアが張り付く時間を減らし、より大きな設計へ手法を届けることを狙う。米国・インド・イスラエルの3拠点体制は、設計人材と検証の需要がある地域に開発を分散させる布陣で、印を単なる開発オフショアではなく製品開発の一角に据える構えを示している。
Inc42はこの調達を、VerifAIXにとって初の機関投資家からの資金調達と報じた。設立からわずか2年でEndiya PartnersとBluehill VCという投資家を共同リードに引き込んだ点、そして資金使途を製品と3拠点の人員にひもづけて開示した点が、報道で具体的に取り上げられている。誇張した将来像ではなく、設計規模の拡大に検証を追随させるという課題設定で語られているのが特徴だ。
日本の半導体は装置・材料・後工程に強みを持つが、設計検証というソフト寄りの工程では印のディープテックが先に手を打っている。インド企業が日本の車載チップ組立を受注する動きはインド企業が日本の車載チップ組立を受注する逆流で追ったとおりで、製造の受け皿と設計の担い手が同時に印へ寄っている。印発SaaSが米AIを取り込む構図はインド発MoEngageが米AIを買収した逆流やRocketlaneのシリーズCとエージェントAIでも見えており、検証AIもこの潮流の一つとして日本の設計現場に接点を求めてくる。
元InfosysトップがAI受託に乗り出した動きは元InfosysトップのAI受託で扱ったが、VerifAIXの調達もインドのAI・ディープテックへ資金が集まる同じ流れの中にある。検証という地味だが不可欠な工程に投資が向かうことは、印の半導体エコシステムが試作・宣伝の段階から実装の段階へ進んでいることを示す。
検証・EDA・受託設計のツールや人材を持つ日本企業は、VerifAIXが開発を置く米国・インド・イスラエルのうち、どの拠点と協業の余地があるかを先に整理しておきたい。次の一手として、SEMICON India 2026の出展社・登壇者から印の半導体設計・検証プレイヤーを洗い出し、Formal Brainのような形式検証系のスタートアップを含めた接点リストを一本作ることを勧めたい。