2021年7月2日，国内唯一商用形式验证和逻辑等价检查EDA软件提供商上海阿卡思微电子技术有限公司(以下简称上海阿卡思)宣布完成数千万元Pre-A轮融资，本轮融资由上海合见工业软件集团有限公司领投，哈勃科技投资有限公司、上海科技创业投资有限公司和上海张江燧峰创新股权投资基金合伙企业(有限合伙)跟投。Pre-A轮融资将用于吸引高端EDA专业人才和开拓EDA新产品。本次融资彰显了资本市场对上海阿卡思的认可。
中国成都，2020年4月20日，成都奥卡思微电科技(ARCASTECH)公司正式发布国内首款基于亚马逊AWS云平台的形式化验证工具AveMC Cloud，标志着本公司EDA工具正式迈入云计算时代，用户可以远程完成复杂芯片RTL设计的验证及调试工作，也为本公司EDA软件走向国际市场打下了坚实的基础。
