鯤云科技采用芯華章穹瀚GalaxFV?加速AI芯片設計

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

鯤云科技首席技術官蔡權雄表示：“我們采用芯華章的穹瀚(GalaxFV)形式化驗證工具，通過數學方法快速檢查邏輯以及屬性的正確性，大大提高了覆蓋率目標實現的效率，對工程應用有很高的價值。未來，我們將與芯華章保持長期合作，共同以最前沿的技術賦能人工智能芯片設計，提供更高性能、更高算力、更加可靠的芯片和系統級產品。”

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

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

關于鯤云科技

鯤云科技是一家技術領先的人工智能公司，以數據流技術為核心，提供高性能低延時、高通用性、高算力性價比的下一代人工智能計算平臺和軟硬一體化的平臺解決方案，加速人工智能技術在智慧城市、智慧安監、智能制造、自動駕駛等領域的落地。

目前，鯤云的服務對象涵蓋國家電網、南方電網、中科院、中國商飛、中國石化、中國石油等行業頭部企業，并且已與英特爾、浪潮信息、DELL、中國聯通、飛騰以及國內外多個知名高校達成合作關系，加速AI技術產業化落地。

關于芯華章科技

芯華章聚集全球EDA行業精英和尖端科技領域人才，以智能調試、智能編譯、智能驗證座艙、智能云原生等技術支柱，構建芯華章平臺底座，提供全面覆蓋數字芯片驗證需求的七大產品系列，包括：硬件仿真系統、FPGA原型驗證系統、智能場景驗證、形式驗證、邏輯仿真、系統調試以及驗證云，為合作伙伴提供自主研發、安全可靠的芯片產業解決方案與專家級顧問服務。同時，芯華章致力于面向未來的EDA 2.0智能化電子設計平臺的研究與開發，以技術革新加速電子系統創新效率，讓芯片設計更簡單、更普惠。