成都奥卡思微电科技有限公司于2018年4月成立于成都高新区，注册资本1200万元，是目前国内唯一推出商业化验证EDA软件的公司。
公司核心研发人员均有Cadence，Synopsys，Xilinx等国际知名EDA公司和芯片设计公司的从业经历，具有平均超过15年的全球EDA行业经验，是多项业内知名软件工具的主要研发者。
成都奥卡思微电科技有限公司致力于开发国际领先、自主可控的具有完全自主知识产权的电子设计自动化产品平台产品（EDA），具有独特产品优势。公司现已研发并投入使用的产品有AVEMC芯片形式化验证产品AVECEC芯片逻辑等价性验证产品，其中AVEMC软件在覆盖率、空泛性等技术方面全球独一无二。并于2020年4月20日正式发布国内首款基于亚马逊AWS云平台的形式化验证工具AveMC Cloud，标志着公司EDA工具正式迈入云计算时代，用户可以远程完成复杂芯片RTL设计的验证及调试工作，也为公司EDA软件走向国际市场打下了坚实的基础。