上海阿卡思完成Pre-A轮融资

2021年7月2日，国内唯一商用形式验证和逻辑等价检查EDA软件提供商上海阿卡思微电子技术有限公司(以下简称上海阿卡思)宣布完成数千万元Pre-A轮融资，本轮融资由上海合见工业软件集团有限公司领投，哈勃科技投资有限公司、上海科技创业投资有限公司和上海张江燧峰创新股权投资基金合伙企业(有限合伙)跟投。Pre-A轮融资将用于吸引高端EDA专业人才和开拓EDA新产品。本次融资彰显了资本市场对上海阿卡思的认可。

上海阿卡思是由归国的资深芯片设计自动化(EDA)专家于2020年5月在上海浦东张江高科技园区设立，旗下全资子公司成都奥卡思微电科技有限公司落地成都高新区。上海阿卡思拥有集成电路及芯片设计自动化核心技术，致力于开发国际领先，自主可控的具有完全自主知识产权的数字EDA产品，现已商用的EDA产品有Ave MC芯片形式化验证EDA软件和Ave CEC芯片逻辑等价性检查EDA软件。AveMC形式化验证软件在形式验证覆盖率分析、空泛性检查、属性可视化等技术方面全球领先。

公司现有员工约30人，其中，核心研发人员来自于国际知名EDA公司和芯片设计公司，具有20年以上EDA行业经验，目前公司有3个发明专利已授权，12个软件著作权已获批，另外有8项发明专利正在审批中。

公司的AveMC形式验证软件已经在国内顶尖芯片设计企业中使用。公司也和华东师范大学、中科院软件所、电子科技大学一起开展产学研合作。

本轮投资人之一表示：“集成电路产业中，EDA是芯片设计和制造对接的桥梁，也是被国外“卡脖子”的重点领域，阿卡思团队在EDA形式验证细分领域积累了深厚的经验与核心技术，在国内率先完成产品化，并获得头部IC设计企业认可，有望持续扩大竞争优势，打破国外在EDA行业的垄断地位。”

阿卡思公司总经理袁军博士表示：“当前是国产EDA产业发展最好的时机，本轮融资将帮助公司研发更多芯片EDA产品和软件形式化工具，力争成为全球领先的形式化EDA提供商，同时将拓展EDA软件产品线，解决芯片设计关键流程国外封锁问题，为中国自主创“芯”事业添砖加瓦!”