近日，EDA（集成電路設計工具）智能軟件和系統(tǒng)領先企業(yè)芯華章科技正式宣布，與AI芯片行業(yè)技術領軍企業(yè)鯤云科技達成戰(zhàn)略合作，采用芯華章的形式化驗證工具穹瀚（GalaxFV），提升新一代復雜AI芯片的設計驗證效率，進一步保障復雜AI芯片的功能和可靠性。

后摩爾定律時代下，由于集成電路規(guī)模不斷擴大、復雜度日益提高，芯片前端驗證技術面臨一系列的巨大挑戰(zhàn)。特別是復雜AI芯片設計中，眾多控制密集型單元、協(xié)議復雜的接口模塊等都對可靠性要求極高。傳統(tǒng)基于電路的仿真技術，無法實現(xiàn)對極端情況的驗證覆蓋，且面臨仿真時間過長、測試環(huán)境搭建困難等諸多問題，導致驗證覆蓋率的收斂一直困擾著AI芯片設計效率進一步提升。

鯤云科技首席技術官蔡權(quán)雄：

“我們采用芯華章的穹瀚（GalaxFV）形式化驗證工具，通過數(shù)學方法快速檢查邏輯以及屬性的正確性，大大提高了覆蓋率目標實現(xiàn)的效率，對工程應用有很高的價值。未來，我們將與芯華章保持長期合作，共同以最前沿的技術賦能人工智能芯片設計，提供更高性能、更高算力、更加可靠的芯片和系統(tǒng)級產(chǎn)品?！?/p>

作為國內(nèi)率先采用高性能字級建模（Word-Level Modeling）方法構(gòu)建的形式化驗證工具，芯華章穹瀚（GalaxFV）可將百萬行級別的設計代碼轉(zhuǎn)化為數(shù)學模型，把驗證問題轉(zhuǎn)化成數(shù)學求解問題，然后依靠求解器進行求解，并搭載高并發(fā)高性能求解器、智能調(diào)度算法引擎以及專用斷言庫，可在充分利用算力，提高并行效率的同時，讓更多用戶能夠快速上手，在項目開發(fā)初期，就盡早地發(fā)現(xiàn)問題并快速修復。

芯華章科技驗證工程副總裁朱洪辰：

“芯華章一直致力于為客戶提供安全可靠的驗證解決方案，通過技術創(chuàng)新，精準解決用戶實踐痛點，以應對日益復雜的芯片設計挑戰(zhàn)。此次，我們非常榮幸能與技術領先的鯤云科技共同部署面向人工智能領域的戰(zhàn)略性技術研發(fā)，加快中國AI技術產(chǎn)業(yè)化落地，賦能中國集成電路和人工智能產(chǎn)業(yè)，推動數(shù)字經(jīng)濟增長。”