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

       公司聚集国际知名EDA公司和芯片设计公司具有多年研发经验的尖端人才，基于形式化方法为逻辑芯片设计和工控软件等提供验证工具及验证咨询服务，凭借在形式化方法领域深厚的技术积累及深入的产品实践，已推出三款商用性能优异的核心验证工具（Formal MC、Formal CEC、Formal HiLEC）及其他相关验证工具，服务于复杂芯片设计及通用设计流程，公司产品获得多个标杆客户，包括国家头部通讯、高性能计算及AI芯片企业的采购使用及好评。公司将紧密把握IC设计复杂度提升及验证方法学多样化需求提升的趋势，致力于成为国内领先的形式化技术开发与服务商。

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