第31屆集成電路設(shè)計業(yè)展覽會（ICCAD-Expo2025）于11月20日至21日在中國·成都西博城舉辦。作為國內(nèi)最早商用的形式驗證EDA軟件供應(yīng)商、國內(nèi)EDA領(lǐng)軍企業(yè)華大九天戰(zhàn)略持股企業(yè)，上海阿卡思微電子技術(shù)有限公司（以下稱“阿卡思微”）攜多款高性能驗證工具及主旨報告邀您共襄盛會。

從2018年成都初創(chuàng)到如今布局全國，從硅谷專家團(tuán)隊歸國創(chuàng)業(yè)到斬獲頭部客戶與資本青睞，阿卡思微正以穩(wěn)扎穩(wěn)打的步伐，成為國產(chǎn)EDA賽道的核心力量。

核心產(chǎn)品矩陣：打破壟斷，定義驗證新標(biāo)準(zhǔn)

本次參展，阿卡思微集中展示了三大核心產(chǎn)品及專屬APP工具，以數(shù)學(xué)驗證的嚴(yán)密性破解芯片設(shè)計驗證痛點，其性能已實現(xiàn)與國際三大家同臺競技，部分場景更完成超越。

Formal MC：功能驗證的“智能證明者”

作為傳統(tǒng)RTL仿真驗證的有效補(bǔ)充工具，F(xiàn)ormal MC憑借數(shù)學(xué)證明與推理技術(shù)，無需用戶生成測試激勵，即可完成屬性驗證的嚴(yán)格證明，仿真驗證之后采用形式化驗證仍然發(fā)現(xiàn)問題，形式化驗證之后采用仿真不會發(fā)現(xiàn)問題，解決了仿真驗證在完備性方面的難題。

更具備三大差異化優(yōu)勢：圖形化屬性建模工具將驗證準(zhǔn)備時間大幅縮短；更精準(zhǔn)的計算模型可捕捉同類工具遺漏的漏洞；搭配云計算模式實現(xiàn)彈性算力配置，適配從模塊級到系統(tǒng)級的全階段驗證需求，尤其在設(shè)計早期即可發(fā)現(xiàn)錯誤，大幅減少迭代成本。

Formal EC：全流程等價性的“安全衛(wèi)士”

針對芯片設(shè)計中高達(dá)半數(shù)的功能錯誤導(dǎo)致的re-spin問題，F(xiàn)ormal EC采用窮盡式數(shù)學(xué)驗證方法，無需測試向量即可確保設(shè)計實現(xiàn)與黃金設(shè)計完全一致。其處理速度遠(yuǎn)超模擬驗證，支持復(fù)雜datapath優(yōu)化、先進(jìn)時鐘門控設(shè)計及FPGA全流程驗證，更具備強(qiáng)大的debug能力與可擴(kuò)展性，可輕松應(yīng)對大型SOC設(shè)計的等價性檢查需求，成為芯片流片前的關(guān)鍵保障。

Formal HiLEC：AI時代的解題利器

采用模型檢驗與邏輯等價檢查混合技術(shù)，利用C/C++黃金模型對數(shù)據(jù)流路徑、浮點算術(shù)單元的RTL設(shè)計進(jìn)行等價驗證，驗證RTL設(shè)計實現(xiàn)符合C/C++參考算法。該軟件適用于AI/ML、數(shù)字信號處理、圖像處理芯片設(shè)計。

專屬驗證APP：屬性質(zhì)量的“精準(zhǔn)檢測儀”

同步展出的屬性空泛性檢查APP與屬性覆蓋率精確檢查APP，是阿卡思微獨創(chuàng)的驗證效率工具。前者可識別無效斷言，避免驗證資源浪費；后者實現(xiàn)屬性覆蓋率的精準(zhǔn)核算，確保驗證完備性，兩款工具共同構(gòu)筑起形式化驗證的“雙重保險”。

技術(shù)底氣：先發(fā)優(yōu)勢與本土化創(chuàng)新雙輪驅(qū)動

阿卡思微的核心競爭力，源于團(tuán)隊三十年深耕形式化驗證的技術(shù)積淀與前瞻性布局。創(chuàng)始人作為硅谷歸來的行業(yè)專家，帶領(lǐng)團(tuán)隊在國內(nèi)EDA產(chǎn)業(yè)尚處萌芽階段時，便聚焦數(shù)字前端驗證工具研發(fā)，成為該領(lǐng)域國內(nèi)領(lǐng)先的商業(yè)化企業(yè)。如今，公司產(chǎn)品已服務(wù)于國內(nèi)頭部通訊、高性能計算及AI芯片企業(yè)，客戶數(shù)量從最初的十幾個增長至數(shù)十個，覆蓋國內(nèi)主流芯片設(shè)計公司。

阿卡思微技術(shù)總監(jiān)馮煌

公司技術(shù)總監(jiān)馮煌認(rèn)為，相較于國際三大家，阿卡思微以“快速響應(yīng)+生態(tài)兼容”構(gòu)建差異化優(yōu)勢。針對客戶痛點需求，最快可實現(xiàn)月度級功能迭代，而國際巨頭往往需要半年周期；打破封閉工具鏈壁壘，無論客戶采用何種綜合工具，均可無縫對接阿卡思微的驗證產(chǎn)品，成為行業(yè)內(nèi)公平公正的第三方驗證選擇。這種聚焦客戶需求+技術(shù)快速迭代的模式，讓公司在部分點工具性能上實現(xiàn)對國際巨頭的超越，更贏得了市場與客戶的認(rèn)可。

生態(tài)共建：從單點突破到產(chǎn)業(yè)協(xié)同

作為華大九天生態(tài)戰(zhàn)略合作伙伴，阿卡思微借助生態(tài)賦能實現(xiàn)客戶質(zhì)量與業(yè)務(wù)規(guī)模的雙重增長。本次獨立參展，既是對成都本土市場的深情回饋，更是向行業(yè)展示國產(chǎn)EDA企業(yè)協(xié)同發(fā)展的決心——當(dāng)前國產(chǎn)EDA工具雖呈“小而散”格局，但阿卡思微堅信，通過工具間的兼容互通與生態(tài)整合，終將形成合力。目前，公司已與國內(nèi)多家廠商開啟合作探索，以開放姿態(tài)推動國產(chǎn)EDA產(chǎn)業(yè)鏈的協(xié)同升級。

面對“AI大模型賦能EDA”的行業(yè)趨勢，馮煌也表示，阿卡思微保持理性布局。既認(rèn)可AI當(dāng)前仍處于萌芽階段，更多起到效率提升的“錦上添花”作用；也積極投入技術(shù)探索，聚焦形式化驗證的核心痛點——將AI應(yīng)用于求解器性能優(yōu)化、驗證意圖轉(zhuǎn)換、算法選擇等場景，通過技術(shù)積累搶占未來先機(jī)。

未來展望：穩(wěn)扎穩(wěn)打，劍指國際一流

發(fā)展規(guī)劃方面，阿卡思微始終堅守“成為國內(nèi)領(lǐng)先的形式化技術(shù)開發(fā)與服務(wù)商”的目標(biāo)，下一步將持續(xù)聚焦形式化驗證賽道，補(bǔ)齊工具成熟度與易用性短板，同時基于國內(nèi)客戶需求打造國際巨頭未覆蓋的創(chuàng)新功能。公司將繼續(xù)以頭部客戶為核心，通過復(fù)雜場景打磨產(chǎn)品，逐步拓展中小客戶市場，最終實現(xiàn)對國際三大家的全面追趕與超越。

在成都這片創(chuàng)業(yè)初心之地，阿卡思微竭誠交流形式化驗證技術(shù)應(yīng)用、探討EDA生態(tài)共建路徑，公司將以技術(shù)為基、以生態(tài)為翼，愿成為這場征程中的堅定踐行者與推動者！