今日,國內(nèi)EDA技術(shù)領(lǐng)軍企業(yè)芯華章與全球集成電路驗(yàn)證技術(shù)先鋒啄木鳥半導(dǎo)體宣布達(dá)成獨(dú)家戰(zhàn)略合作伙伴關(guān)系。雙方?jīng)Q定共同推進(jìn)EDA在芯片驗(yàn)證與測(cè)試領(lǐng)域的技術(shù)合作,致力于為高可靠性處理器芯片,如基于RISC-V的車規(guī)芯片,提供完整、完備的驗(yàn)證與測(cè)試方案。

合作后,雙方將打造完整的驗(yàn)證與測(cè)試,調(diào)試與診斷的技術(shù)閉環(huán),為復(fù)雜的系統(tǒng)芯片提供從設(shè)計(jì)、驗(yàn)證到測(cè)試全鏈條的技術(shù)保障。

達(dá)摩院RISC-V與生態(tài)驗(yàn)證負(fù)責(zé)人梁中書表示:“啄木鳥半導(dǎo)體開發(fā)了業(yè)界第一款基于 QED 技術(shù)、專注于RISC-V CPU 全自動(dòng)驗(yàn)證的解決方案,我們非常高興看到啄木鳥和芯華章的深度合作。希望透過結(jié)合芯華章的驗(yàn)證平臺(tái),會(huì)提供更易用、更完備與高性能的完整RISC-V 驗(yàn)證解決方案,進(jìn)一步推動(dòng)RISC-V的發(fā)展?！?

當(dāng)前,芯片驗(yàn)證已經(jīng)不僅僅用于硅前,同步提升硅后驗(yàn)證的質(zhì)量和有效性,可以為任何集成電路公司帶來成本和時(shí)間上的競(jìng)爭(zhēng)優(yōu)勢(shì)。啄木鳥半導(dǎo)體的硅前和硅后驗(yàn)證工具以一種系統(tǒng)性和可擴(kuò)展的方式,用以提升芯片驗(yàn)證及測(cè)試的生產(chǎn)力和質(zhì)量,且無需額外的專業(yè)知識(shí)或工程資源,不需要對(duì)IC設(shè)計(jì)實(shí)施流程或驗(yàn)證環(huán)境進(jìn)行更改。通過自動(dòng)轉(zhuǎn)換現(xiàn)有的驗(yàn)證測(cè)試代碼,可以顯著增加覆蓋范圍,且錯(cuò)誤變得更容易解決。

芯華章自成立以來,堅(jiān)定不移地深耕數(shù)字驗(yàn)證領(lǐng)域,基于統(tǒng)一底層架構(gòu)和數(shù)據(jù)庫,成功研發(fā)出十余款自主驗(yàn)證工具及行業(yè)解決方案。這些工具和方案涵蓋了邏輯仿真、形式驗(yàn)證、智能場(chǎng)景驗(yàn)證、硬件仿真、硬件原型與系統(tǒng)調(diào)試等完整的全流程數(shù)字驗(yàn)證領(lǐng)域,并已擁有超過180件自主專利申請(qǐng)。

雙方合作將基于啄木鳥QED(Quick Error Detection)方法學(xué)Acuity Formal, Acuity Compiler, Acuity Optimize等系列產(chǎn)品與芯華章全流程EDA驗(yàn)證平臺(tái)的深度融合。QED驗(yàn)證方法學(xué)源自大規(guī)模并行計(jì)算系統(tǒng),致力于自動(dòng)、快速、準(zhǔn)確、完備地檢測(cè)出設(shè)計(jì)中的錯(cuò)誤。這種方法結(jié)合了先進(jìn)算法等多項(xiàng)前沿技術(shù),能夠迅速定位到復(fù)雜處理器設(shè)計(jì)中的問題,大大提高驗(yàn)證的效率和精確性,為整個(gè)芯片設(shè)計(jì)流程賦予高效和安全性。

啄木鳥半導(dǎo)體的Acuity Formal產(chǎn)品與芯華章GalaxFV形式化驗(yàn)證產(chǎn)品具備巨大的合作潛力。針對(duì)客戶的處理器設(shè)計(jì),形式化完備的驗(yàn)證方式能夠自動(dòng)發(fā)現(xiàn)問題并確定原因和位置,在產(chǎn)品上市前捕捉到錯(cuò)誤。更進(jìn)一步,芯華章系統(tǒng)化的FusionVerify驗(yàn)證平臺(tái)從架構(gòu)、算法、數(shù)據(jù)、界面等融合了多種EDA驗(yàn)證工具,為啄木鳥半導(dǎo)體的處理器驗(yàn)證包提供高性能EDA計(jì)算的核心平臺(tái)。

二者從接口、模型、云計(jì)算流程等多個(gè)方面的深度融合,共同構(gòu)成了完整的處理器芯片自動(dòng)化垂直驗(yàn)證方案。

啄木鳥半導(dǎo)體CEO 陳志偉表示:“這次合作不僅僅是兩家公司技術(shù)的結(jié)合,更是業(yè)界領(lǐng)先的技術(shù)和思維的融合。我們深信,雙方在各自領(lǐng)域的領(lǐng)先性競(jìng)爭(zhēng)優(yōu)勢(shì)及互補(bǔ)性,將轉(zhuǎn)化為這次獨(dú)家合作的牢固基石,我們將一起為客戶帶來前所未有的驗(yàn)證與測(cè)試體驗(yàn)。”

“芯華章與啄木鳥半導(dǎo)體的全面合作是一個(gè)天時(shí)地利人和的絕佳契機(jī)?！毙救A章科技董事長(zhǎng)兼CEO王禮賓表示,“結(jié)合兩家公司的技術(shù)和產(chǎn)品,我們相信這次合作將為客戶帶來更為完善、更為高效的驗(yàn)證與測(cè)試垂直解決方案,進(jìn)一步加速高可靠性RISC-V SOC芯片在各領(lǐng)域的全面產(chǎn)業(yè)化進(jìn)程?！?