打通系統(tǒng)到后端,芯華章發(fā)布首款自研數(shù)字全流程等價性驗證工具
隨著GalaxEC的發(fā)布,芯華章自主EDA工具完成了對數(shù)字驗證全流程的完整覆蓋,進一步完善了自身豐富的系統(tǒng)級驗證產(chǎn)品組合,可以為芯片設(shè)計及系統(tǒng)級用戶提供更全面的敏捷驗證服務(wù)。
GalaxEC已具備當(dāng)下各類主流等價性驗證工具的所有核心功能,服務(wù)場景貫穿于數(shù)字芯片設(shè)計從系統(tǒng)級到前后端設(shè)計的各個階段,可一站式滿足用戶全流程等價性驗證需求,避免多工具切換成本,幫助工程師確保不同層次設(shè)計之間的一致性,支持遍歷式驗證,發(fā)現(xiàn)深層次的臨界設(shè)計錯誤,確保設(shè)計的正確性并實現(xiàn)正式簽核。
面向下一代EDA 2.0目標(biāo),GalaxEC運用新一代形式化求解算法和并行計算技術(shù)打造高性能求解引擎,可支持原生云部署,提供了豐富完備的用戶開放接口,可以更好地滿足敏捷驗證與設(shè)計需要。
在完整的芯片設(shè)計流程中,等價性驗證工具被廣泛應(yīng)用到設(shè)計流程中的各個不同階段。
當(dāng)一個設(shè)計經(jīng)過變換之后,諸如系統(tǒng)C模型級對RTL級、RTL級對RTL級、RTL級對門級以及門級實現(xiàn)之間,工程師需要檢驗變換前后的功能一致性,證明設(shè)計的變換或優(yōu)化沒有產(chǎn)生功能的變化。
這在設(shè)計前端的時序優(yōu)化,后端單元放置優(yōu)化、網(wǎng)表級檢查、ECO修改等中都是必不可少的環(huán)節(jié)。
CPU/GPU/AI等圖像處理以及加密算法設(shè)計,往往以算法設(shè)計為中心并且數(shù)據(jù)通路繁重,經(jīng)常使用C/C++等高級語言對它們的行為進行建模,這就需要保障RTL設(shè)計與高階算法C/C++描述完全等價,確保功能正確
寄存器時序調(diào)整或插入用于功耗優(yōu)化的門控時鐘后,需要針對不同設(shè)計輸出逐時鐘周期(Cycle-by-Cycle)精確等價驗證,如動態(tài)功耗優(yōu)化(Power Optimization)、門控時鐘(Clock Gating)、時序調(diào)整(Retiming)等
關(guān)鍵節(jié)點(如Flip Flop pair)組合邏輯改動前后的等價性驗證,保證在邏輯綜合過程中沒有改變原先HDL描述的電路功能,完備驗證從RTL編碼到最終LVS(Layout Versus Schematic)階段設(shè)計的功能一致性
為了更好滿足越來越多的大規(guī)模設(shè)計驗證需求,GalaxEC支持大容量數(shù)據(jù)的快速處理,能夠直接讀入和驗證SoC級大設(shè)計,自動化完成大規(guī)模驗證建模,可實現(xiàn)對大容量SoC級的門級網(wǎng)表等價性驗證。
基于對等價性驗證系統(tǒng)原理的深刻理解,芯華章GalaxEC自主研發(fā)了高效形式驗證求解引擎庫XSolver,求解引擎采用新一代求解算法和并行計算技術(shù),相對于傳統(tǒng)形式驗證求解引擎,在某GPU算子用例實驗結(jié)果中,表現(xiàn)出百倍以上性能提升,幫助用戶高效、敏捷地完成復(fù)雜系統(tǒng)級項目開發(fā)。
具體以Nyuzi GPGPU設(shè)計為例,GalaxEC僅僅用時9分鐘就完成時鐘樹綜合前后的網(wǎng)表等價性驗證,60分鐘內(nèi)完成Placement布局前后的網(wǎng)表等價性驗證,45分鐘完成Routing布線前后的網(wǎng)表等價性驗證。
作為國內(nèi)領(lǐng)先的無線通信芯片方案提供商,矽昌通信長期專注產(chǎn)業(yè)空白的Wi-Fi AP芯片研發(fā),發(fā)布了大陸首款無線路由芯片。
矽昌通信CEO王勝表示:
“無線通信芯片往往需要具備高度的可靠性、穩(wěn)定性和極低的功耗,以確保在各種復(fù)雜部署條件下的正確運行。
芯華章GalaxEC提供的時序與組合邏輯等價性驗證工具,基于自主研發(fā)的XSolver引擎庫和多線程技術(shù),可以高效、敏捷地驗證數(shù)字設(shè)計全流程各階段設(shè)計的等價性,特別是在綜合與布線完成后,即使對設(shè)計做細(xì)微優(yōu)化,也可直接快速驗證優(yōu)化前后設(shè)計等價性,避免了使用傳統(tǒng)動態(tài)仿真工具對網(wǎng)表進行重復(fù)測試,保證了網(wǎng)表變更回歸驗證的完備性,幫助我們更快實現(xiàn)新產(chǎn)品的開發(fā)和上市?!?/span>
芯華章董事長兼CEO王禮賓表示:
“GalaxEC的發(fā)布,不僅是芯華章研發(fā)團隊全情投入的成果,也離不開各領(lǐng)域產(chǎn)業(yè)用戶的信賴和打磨。越來越多的大規(guī)模復(fù)雜IC設(shè)計需要專門的等價性驗證工具來實現(xiàn)更快、更完備的驗證收斂。
我們結(jié)合用戶使用場景,打造了這款全流程等價性驗證系統(tǒng),可以一站式滿足用戶主要需求,無論是系統(tǒng)級還是前端或者后端,從而避免碎片化、兼容性帶來的驗證效率瓶頸和成本。
未來,我們將繼續(xù)與業(yè)界伙伴保持深度合作,通過在數(shù)字驗證全流程領(lǐng)域的持續(xù)創(chuàng)新,不斷推出更符合用戶定制化需求的敏捷驗證方案,助力數(shù)字化創(chuàng)新效率提升?!?br/>
除了帶來最新的產(chǎn)品研發(fā)成果,芯華章秉承開放、共贏的合作精神,深度參與本次IDAS峰會的各個環(huán)節(jié),與國內(nèi)外知名學(xué)者、高校專家、企業(yè)領(lǐng)袖同臺論道,為促進EDA產(chǎn)學(xué)研生態(tài)深度融合建言獻策。
本次IDAS峰會由EDA開放合作創(chuàng)新組織EDA2主辦。作為EDA2驗證專委相關(guān)分委會重要成員,芯華章一直保持同組織單位的密切交流,貢獻了大量技術(shù)標(biāo)準(zhǔn)及解決方案,率先提交完整的調(diào)試系統(tǒng)波形接口標(biāo)準(zhǔn)文件,并參與形式驗證指引格式FVG標(biāo)準(zhǔn)制定,為國產(chǎn)EDA早日建立統(tǒng)一的行業(yè)標(biāo)準(zhǔn)作出了重要貢獻。
評論