上海阿卡思微电子技术有限公司是由硅谷回国的资深芯片设计自动化(EDA)专家于2020年5月在上海浦东张江高科技园区设立，旗下全资子公司成都奥卡思微电科技有限公司位于成都高新区。

       公司主要业务为集成电路设计自动化系统(EDA)的研发和咨询。公司立足于最新的EDA技术，结合本土用户需求，竭诚服务中国芯片自主设计产业。目前，公司已成功推出两款形式验证工具。
       公司自成立以来，已获得首轮融资，目前成功推出了两款逻辑验证产品（AveMC自动化验证工具软件和AveCEC等价验证工具软件），其他多项正在预研中。未来，公司会持续研发后续产品，推出面向整个亚太地区的培训和咨询服务，开发中国/亚洲及北美市场。

      作为顶级设计自动化和芯片公司的前核心研发人员，团队拥有业界前沿的核心技术。
      优势一——形式化功能验证。
      
      优势二——等价性功能验证。
      
      优势三——芯片及软件信息安全。
      
      优势四——低能耗设计优化及验证。
      
      优势五——可编程逻辑（FPGA）验证。