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

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

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

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

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

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