阿卡思ARCAS

上海阿卡思微电子成立于2020年，主要业务为集成电路设计自动化系统(EDA)的研发和咨询，目前成功推出AveMC自动化验证工具软件和AveCEC等价验证工具软件

上海阿卡思微电子技术有限公司是由硅谷回国的资深芯片设计自动化(EDA)专家于2020年5月在上海浦东张江高科技园区设立，旗下全资子公司成都奥卡思微电科技有限公司位于成都高新区。公司核心人员来自于Cadence，Synopsys，Xilinx等国际知名EDA公司和芯片设计公司，具有平均超过15年的全球EDA行业经验，是多项业内知名软件工具的主研或管理者。

公司主要业务为集成电路设计自动化系统(EDA)的研发和咨询。公司立足于最新的EDA技术，结合本土用户需求，竭诚服务中国芯片自主设计产业。目前，公司已成功推出两款形式验证工具。

公司自成立以来，已获得首轮融资，目前成功推出了两款逻辑验证产品（AveMC自动化验证工具软件和AveCEC等价验证工具软件），其他多项正在预研中。未来，公司会持续研发后续产品，推出面向整个亚太地区的培训和咨询服务，开发中国/亚洲及北美市场。