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

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

核心產品矩陣：打破壟斷，定義驗證新標準

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

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

作為傳統RTL仿真驗證的有效補充工具，Formal MC憑借數學證明與推理技術，無需用戶生成測試激勵，即可完成屬性驗證的嚴格證明，仿真驗證之后采用形式化驗證仍然發現問題，形式化驗證之后采用仿真不會發現問題，解決了仿真驗證在完備性方面的難題。

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

Formal EC：全流程等價性的“安全衛士”

針對芯片設計中高達半數的功能錯誤導致的re-spin問題，Formal EC采用窮盡式數學驗證方法，無需測試向量即可確保設計實現與黃金設計完全一致。其處理速度遠超模擬驗證，支持復雜datapath優化、先進時鐘門控設計及FPGA全流程驗證，更具備強大的debug能力與可擴展性，可輕松應對大型SOC設計的等價性檢查需求，成為芯片流片前的關鍵保障。

Formal HiLEC：AI時代的解題利器

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

專屬驗證APP：屬性質量的“精準檢測儀”

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

技術底氣：先發優勢與本土化創新雙輪驅動

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

阿卡思微技術總監馮煌

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

生態共建：從單點突破到產業協同

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

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

未來展望：穩扎穩打，劍指國際一流

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

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