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

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

      作为顶级设计自动化和芯片公司的前核心研发人员,团队拥有业界前沿的核心技术。
      优势一——形式化功能验证。
      
      优势二——等价性功能验证。
      
      优势三——芯片及软件信息安全。
      
      优势四——低能耗设计优化及验证。
      
      优势五——可编程逻辑(FPGA)验证。
      
      公司创始团队掌握集成电路设计自动化核心技术, 创始人均毕业于国内名校(如清华大学)本科,拥有美国名校计算机博士学位。 均曾就职于硅谷顶级集成电路设计自动化和世界500强芯片公司,且拥有超过15年的一线产品开发,管理和应用经验。 更被邀请参与设计自动化权威会议的审稿和组织工作(如DAC, ICCAD, CAV)等,发表论文超过30篇以及专著验证的学术书籍一部。