一家由硅谷EDA资深人士创立的国产EDA企业，曾获得华为旗下哈勃科技投资。2024年，哈勃与多家早期投资机构一同退出，华大九天接手了近半数股权。这家公司就是上海阿卡思微电子技术有限公司（以下简称“阿卡思”）。

华为哈勃为何退出？

阿卡思的技术团队具有较深的海外EDA行业背景。公司由具有硅谷EDA行业经验的团队创立，前身业务于2018年开始运营，上海阿卡思微电子技术有限公司则成立于2020年5月。

2021年6月，阿卡思完成天使轮融资，上海合见工业软件、华为旗下哈勃科技投资，以及上海科创投、张江燧锋等机构参与投资。哈勃当时持有阿卡思约5%的股权。

不过，这笔投资并没有一直延续。2024年6月，阿卡思完成股权变更。合见工业软件、哈勃科技投资等原股东退出，华大九天接手上述股东合计持有的49.75%股权，成为阿卡思的重要股东。

从这次股权变更来看，哈勃并非单独退出，而是与多家早期投资机构一同退出。华大九天则接手了这部分股权，交易呈现出早期投资机构退出、专业EDA产业资本进入的特点。

目前，公开信息并未披露哈勃退出的具体原因，也没有证据表明这是华为放弃阿卡思的技术团队或相关产品。从交易结构看，一种合理的解读是，阿卡思早期融资阶段的财务投资者逐步退出，由具备EDA产品、客户和产业资源的上市公司接手股权，企业发展由早期资本支持转向产业协同。

但这只能作为对股权变化的观察，不能视为交易双方已经确认的退出动机。

还需要注意的是，华大九天并未全资收购阿卡思。华大九天2026年披露的资料仍将阿卡思列为联营企业，持股比例未公开披露。其2025年营业收入为1120.76万元，净利润为亏损753.98万元。这意味着，阿卡思仍处于独立经营的业务主体状态，不能将其简单理解为华大九天已经完全并入的子公司。

哈勃的EDA投资版图，并非只有阿卡思

阿卡思曾是哈勃早期布局国产EDA的重要项目之一，但并不是哈勃在这一领域的全部投资。

此前公开报道中，哈勃投资的早期EDA企业还包括九同方、飞谱电子和立芯软件等，分别涉及射频电路设计与仿真、电磁仿真，以及逻辑综合和物理设计等方向。

此外，哈勃还投资了制造类EDA企业培风图南。2026年9月证券时报报道显示，哈勃持有培风图南0.8261%的股权。该公司产品涉及光学邻近效应修正、工艺与器件仿真、TCAD-SPICE建模、电路仿真及寄生参数提取等制造类EDA工具。

2024年底，哈勃还入股了泊松软件。不过，泊松软件主要涉及几何引擎、多学科仿真及工业软件，不能简单归入半导体EDA投资。

至于早期投资的飞谱电子和立芯软件，目前尚缺乏足以确认其2026年最新持股状态的公开资料。因此，不能仅凭早期投资名单，就认定阿卡思是哈勃同期投资的几家EDA企业中唯一退出的项目。

AI时代，阿卡思转向新的验证方式

从阿卡思近期披露的业务情况看，他们仍在围绕数字芯片验证领域展开布局。

在2026年11月接受SemiWiki采访时，阿卡思创始人袁军介绍了公司的技术方向和业务进展。袁军拥有30多年EDA行业经验，曾在AMD、Motorola、Verplex、Jasper和Cadence等公司工作，长期从事形式化验证相关研发。

阿卡思目前的工具主要围绕形式化验证展开，包括模型检查、等价性检查、C语言到RTL代码检查等，服务领域涉及通信、高性能计算、GPU、MCU和FPGA等芯片设计场景。公司在采访中表示，已经服务数十家客户。

在AI技术方面，阿卡思正在探索AI辅助SVA断言自动生成、智能体形式化验证、约束与假设生成，以及覆盖率缺口分析等方向，希望将AI引入芯片验证流程。这一方向与当前芯片设计复杂度提升的趋势有关。随着芯片规模和设计复杂度不断增加，验证工作面临更高要求，形式化验证也成为芯片设计流程中的重要环节。