2021年7月2日，國(guó)內(nèi)唯一商用形式驗(yàn)證和邏輯等價(jià)檢查EDA軟件提供商上海阿卡思微電子技術(shù)有限公司(以下簡(jiǎn)稱上海阿卡思)宣布完成數(shù)千萬元Pre-A輪融資，本輪融資由上海合見工業(yè)軟件集團(tuán)有限公司領(lǐng)投，哈勃科技投資有限公司、上?？萍紕?chuàng)業(yè)投資有限公司和上海張江燧峰創(chuàng)新股權(quán)投資基金合伙企業(yè)(有限合伙)跟投。Pre-A輪融資將用于吸引高端EDA專業(yè)人才和開拓EDA新產(chǎn)品。本次融資彰顯了資本市場(chǎng)對(duì)上海阿卡思的認(rèn)可。

上海阿卡思是由歸國(guó)的資深芯片設(shè)計(jì)自動(dòng)化(EDA)專家于2020年5月在上海浦東張江高科技園區(qū)設(shè)立，旗下全資子公司成都奧卡思微電科技有限公司落地成都高新區(qū)。上海阿卡思擁有集成電路及芯片設(shè)計(jì)自動(dòng)化核心技術(shù)，致力于開發(fā)國(guó)際領(lǐng)先，自主可控的具有完全自主知識(shí)產(chǎn)權(quán)的數(shù)字EDA產(chǎn)品，現(xiàn)已商用的EDA產(chǎn)品有Ave MC芯片形式化驗(yàn)證EDA軟件和Ave CEC芯片邏輯等價(jià)性檢查EDA軟件。AveMC形式化驗(yàn)證軟件在形式驗(yàn)證覆蓋率分析、空泛性檢查、屬性可視化等技術(shù)方面全球領(lǐng)先。

公司現(xiàn)有員工約30人，其中，核心研發(fā)人員來自于國(guó)際知名EDA公司和芯片設(shè)計(jì)公司，具有20年以上EDA行業(yè)經(jīng)驗(yàn)，目前公司有3個(gè)發(fā)明專利已授權(quán)，12個(gè)軟件著作權(quán)已獲批，另外有8項(xiàng)發(fā)明專利正在審批中。

公司的AveMC形式驗(yàn)證軟件已經(jīng)在國(guó)內(nèi)頂尖芯片設(shè)計(jì)企業(yè)中使用。公司也和華東師范大學(xué)、中科院軟件所、電子科技大學(xué)一起開展產(chǎn)學(xué)研合作。

本輪投資人之一表示：“集成電路產(chǎn)業(yè)中，EDA是芯片設(shè)計(jì)和制造對(duì)接的橋梁，也是被國(guó)外“卡脖子”的重點(diǎn)領(lǐng)域，阿卡思團(tuán)隊(duì)在EDA形式驗(yàn)證細(xì)分領(lǐng)域積累了深厚的經(jīng)驗(yàn)與核心技術(shù)，在國(guó)內(nèi)率先完成產(chǎn)品化，并獲得頭部IC設(shè)計(jì)企業(yè)認(rèn)可，有望持續(xù)擴(kuò)大競(jìng)爭(zhēng)優(yōu)勢(shì)，打破國(guó)外在EDA行業(yè)的壟斷地位?！?

阿卡思公司總經(jīng)理袁軍博士表示：“當(dāng)前是國(guó)產(chǎn)EDA產(chǎn)業(yè)發(fā)展最好的時(shí)機(jī)，本輪融資將幫助公司研發(fā)更多芯片EDA產(chǎn)品和軟件形式化工具，力爭(zhēng)成為全球領(lǐng)先的形式化EDA提供商，同時(shí)將拓展EDA軟件產(chǎn)品線，解決芯片設(shè)計(jì)關(guān)鍵流程國(guó)外封鎖問題，為中國(guó)自主創(chuàng)“芯”事業(yè)添磚加瓦!”