芯片驗證行業(yè)盛會啟幕

DVCon China 2026于5月13日盛大開啟，阿卡思攜前沿形式化驗證技術參展，與行業(yè)專家和專業(yè)用戶共探芯片驗證技術新高度，解鎖形式化驗證全新能力邊界。

阿卡思技術總監(jiān)馮煌發(fā)表了主題演講，他從形式化方法學入手，闡述了形式驗證在芯片設計驗證中的獨特性及必要性，并介紹了高階等價性檢查工具的工作流程、常用方法及案例等。

馮煌指出，傳統(tǒng)仿真難以窮舉數(shù)據(jù)通路場景，極易遺漏極低概率角落錯誤，如奔騰 FDIV、玄鐵 C910 FPU 浮點漏洞。要完全驗證這類模塊，必須借助形式化驗證的力量。HimaFormalHiLEC 專注 C/C++ 與 RTL 等價性驗證，支持浮點、整數(shù)、加解密等算法，覆蓋 CPU/GPU/AI/DSP 數(shù)據(jù)通路驗證。通過案例拆分、切割點、黑盒等方法可以降低驗證復雜度，以在香山處理器64 位浮點乘法為例，運用上述的方法，最快可以在 14 分鐘內完成全證明，為高可靠芯片設計提供嚴謹?shù)男问交Ｕ稀?/p>

現(xiàn)場觀眾對該方法實際應用中的問題與演講嘉賓積極互動、共同進一步深入探討。

值此DVCon China十周年之際，阿卡思共襄盛會，既展現(xiàn)了阿卡思在形式化驗證領域的技術積累與創(chuàng)新成果，又彰顯了國產(chǎn)形式化驗證工具的硬核競爭力。未來，阿卡思將持續(xù)深耕技術，不斷拓展形式化驗證能力邊界，以更優(yōu)質的解決方案助力芯片設計驗證升級，賦能國產(chǎn)芯片產(chǎn)業(yè)高質量發(fā)展！

關于上海阿卡思

上海阿卡思微電子技術有限公司由硅谷回國的資深電子設計自動化(EDA)專家于2020年在上海張江高科技園區(qū)設立，旗下子公司成都奧卡思微電科技有限公司于2018年在成都高新區(qū)創(chuàng)立，公司聚集國際知名EDA公司和芯片設計公司具有多年研發(fā)經(jīng)驗的尖端人才，基于形式化方法為邏輯芯片設計和工控軟件等提供驗證工具及驗證咨詢服務，憑借在形式化方法領域深厚的技術積累及深入的產(chǎn)品實踐，已推出多款商用性能優(yōu)異的核心驗證工具及其他相關驗證工具，服務于復雜芯片設計及通用設計流程，公司產(chǎn)品獲得四十余個客戶，包括國家頭部通訊、高性能計算及AI芯片企業(yè)等標桿客戶的采購、使用及好評。公司將緊密把握IC設計復雜度提升及驗證方法學多樣化需求提升的趨勢，致力于成為國內領先的形式化技術開發(fā)與服務商。