2021年7月2日，國內唯一商用形式驗證和邏輯等價檢查EDA軟件提供商上海阿卡思微電子技術有限公司(以下簡稱上海阿卡思)宣布完成數(shù)千萬元Pre-A輪融資，本輪融資由上海合見工業(yè)軟件集團有限公司領投，哈勃科技投資有限公司、上海科技創(chuàng)業(yè)投資有限公司和上海張江燧峰創(chuàng)新股權投資基金合伙企業(yè)(有限合伙)跟投。Pre-A輪融資將用于吸引高端EDA專業(yè)人才和開拓EDA新產品。本次融資彰顯了資本市場對上海阿卡思的認可。
中國成都，2020年4月20日，成都奧卡思微電科技(ARCASTECH)公司正式發(fā)布國內首款基于亞馬遜AWS云平臺的形式化驗證工具AveMC Cloud，標志著本公司EDA工具正式邁入云計算時代，用戶可以遠程完成復雜芯片RTL設計的驗證及調試工作，也為本公司EDA軟件走向國際市場打下了堅實的基礎。
