📍 库比蒂诺 · 硅谷成立于 2024
SVTR 市场位置
数据快照 2026-11-02简介
VerifAIX，2024年成立于美国加州库比蒂诺，开发AI原生芯片验证平台「Formal Brain」，将AI推理与形式化验证结合，对芯片规格、RTL与验证资产统一推理，发现设计与规格不一致（含AI生成设计），客户为半导体公司、IP厂商、AI加速器厂商与超大规模云厂商，团队分布美国、印度、以色列。
★ SVTR 评级SVTR 已评估
完整档位与判定理由，SVTR Intelligence 会员可见
资本关系图
投资方· 2
Bluehill VCEndiya Partners
创始人 / 团队· 3
融资历史
- 2026-09-16种子轮$5M
投资方 · Endiya Partners、Bluehill VC来源 · pulse2.com ↗
可比公司· 按市场分组
本公司
主营业务最近轮次累计融资融资时间- VerifAIX
AI+形式化方法的芯片设计验证平台
种子轮 · 2026-09
—
美国
主营业务最近轮次累计融资融资时间中国
主营业务最近轮次累计融资融资时间欧洲
主营业务最近轮次累计融资融资时间仅用已确认融资；对标依据为同细分赛道、同赛道、同阶段与累计融资量级，均可在各公司档案核对。
可能匹配的投资方
按投资机构近 24 个月在同赛道的出手记录推荐，叠加相近阶段与同地区。仅供参考，不含评级判断。