頂點光電子商城2022年6月27日消息：近日，EDA（集成電路設(shè)計工具）智能軟件和系統(tǒng)領(lǐng)先企業(yè)芯華章科技正式宣布，與AI芯片行業(yè)技術(shù)領(lǐng)軍企業(yè)鯤云科技達(dá)成戰(zhàn)略合作，采用芯華章的形式化驗證工具穹瀚(GalaxFV)，提升新一代復(fù)雜AI芯片的設(shè)計驗證效率，進(jìn)一步保障復(fù)雜AI芯片的功能和可靠性。
作為國內(nèi)率先采用高性能字級建模（Word-Level Modeling）方法構(gòu)建的形式化驗證工具，芯華章穹瀚（GalaxFV）可將百萬行級別的設(shè)計代碼轉(zhuǎn)化為數(shù)學(xué)模型，把驗證問題轉(zhuǎn)化成數(shù)學(xué)求解問題，然后依靠求解器進(jìn)行求解，并搭載高并發(fā)高性能求解器、智能調(diào)度算法引擎以及專用斷言庫，可在充分利用算力，提高并行效率的同時，讓更多用戶能夠快速上手，在項目開發(fā)初期，就盡早地發(fā)現(xiàn)問題并快速修復(fù)。
鯤云科技是一家技術(shù)領(lǐng)先的人工智能公司，以數(shù)據(jù)流技術(shù)為核心，提供高性能低延時、高通用性、高算力性價比的下一代人工智能計算平臺和軟硬一體化的平臺解決方案，加速人工智能技術(shù)在智慧城市、智慧安監(jiān)、智能制造、自動駕駛等領(lǐng)域的落地。
目前，鯤云的服務(wù)對象涵蓋國家電網(wǎng)、南方電網(wǎng)、中科院、中國商飛、中國石化、中國石油等行業(yè)頭部企業(yè)，并且已與英特爾、浪潮信息、DELL、中國聯(lián)通、飛騰以及國內(nèi)外多個知名高校達(dá)成合作關(guān)系，加速AI技術(shù)產(chǎn)業(yè)化落地。
芯華章聚集全球EDA行業(yè)精英和尖端科技領(lǐng)域人才，以智能調(diào)試、智能編譯、智能驗證座艙、智能云原生等技術(shù)支柱，構(gòu)建芯華章平臺底座，提供全面覆蓋數(shù)字芯片驗證需求的七大產(chǎn)品系列，包括：硬件仿真系統(tǒng)、FPGA原型驗證系統(tǒng)、智能場景驗證、形式驗證、邏輯仿真、系統(tǒng)調(diào)試以及驗證云，為合作伙伴提供自主研發(fā)、安全可靠的芯片產(chǎn)業(yè)解決方案與專家級顧問服務(wù)。同時，芯華章致力于面向未來的EDA 2.0 軟件和智能化電子設(shè)計平臺的研究與開發(fā)，以技術(shù)革新加速芯片創(chuàng)新效率，讓芯片設(shè)計更簡單、更普惠。
此前，芯華章華章發(fā)布了4款自主知識產(chǎn)權(quán)驗證EDA工具：1、樺捷- HuaPro 高性能FPGA原型驗證系統(tǒng)；2、穹鼎- GalaxSim 國內(nèi)領(lǐng)先的數(shù)字仿真器；3、穹景一GalaxPSS 新一代智能驗證系統(tǒng)；4、穹瀚- GalaxFV 國內(nèi)率先基于字級建模的、可擴(kuò)展形式化驗證工具。取得的成績值得肯定。芯華章取得專利13件，很短時間其銷售額就超500萬元。
芯華章科技驗證工程副總裁朱洪辰表示：“芯華章一直致力于為客戶提供安全可靠的驗證解決方案，通過技術(shù)創(chuàng)新，精準(zhǔn)解決用戶實踐痛點，以應(yīng)對日益復(fù)雜的芯片設(shè)計挑戰(zhàn)。此次，我們非常榮幸能與技術(shù)領(lǐng)先的鯤云科技共同部署面向人工智能領(lǐng)域的戰(zhàn)略性技術(shù)研發(fā)，加快中國AI技術(shù)產(chǎn)業(yè)化落地，賦能中國集成電路和人工智能產(chǎn)業(yè)，推動數(shù)字經(jīng)濟(jì)增長?！?/span>
鄂公網(wǎng)安備 42011502001385號 鄂ICP備2021012849號 
