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