成都奥卡思微电科技有限公司是由三位硅谷中国博士创立,2018年3月成立于成都高新区。公司核心人员来自于Cadence,Synopsys,Xilinx等国际知名EDA公司和芯片设计公司,具有平均超过15年的全球EDA行业经验,是多项业内知名软件工具的主研或管理者。

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

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