2020年4月20日,成都奧卡思微電科技(ARCASTECH)迎來(lái)公司成立兩周年,并正式發(fā)布國(guó)內(nèi)首款基于亞馬遜AWS云平臺(tái)的形式化驗(yàn)證工具AveMC Cloud,標(biāo)志著本公司EDA工具正式邁入云計(jì)算時(shí)代,用戶可以遠(yuǎn)程完成復(fù)雜芯片RTL設(shè)計(jì)的驗(yàn)證及調(diào)試工作,也為本公司EDA軟件走向國(guó)際市場(chǎng)打下了堅(jiān)實(shí)的基礎(chǔ)。