今日，國內(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)證與測試領(lǐng)域的技術(shù)合作，致力于為高可靠性處理器芯片，如基于RISC-V的車規(guī)芯片，提供完整、完備的驗(yàn)證與測試方案。

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

達(dá)摩院RISC-V與生態(tài)驗(yàn)證負(fù)責(zé)人梁中書表示：

“啄木鳥半導(dǎo)體開發(fā)了業(yè)界第一款基于QED技術(shù)、專注于RISC-V CPU全自動驗(yàn)證的解決方案，我們非常高興看到啄木鳥和芯華章的深度合作。希望透過結(jié)合芯華章的驗(yàn)證平臺，提供更易用、更完備與高性能的完整RISC-V 驗(yàn)證解決方案，進(jìn)一步推動RISC-V的發(fā)展。”

當(dāng)前，芯片驗(yàn)證已經(jīng)不僅僅用于硅前，同步提升硅后驗(yàn)證的質(zhì)量和有效性，可以為任何集成電路公司帶來成本和時間上的競爭優(yōu)勢。

啄木鳥半導(dǎo)體的硅前和硅后驗(yàn)證工具以一種系統(tǒng)性和可擴(kuò)展的方式，用以提升芯片驗(yàn)證及測試的生產(chǎn)力和質(zhì)量，且無需額外的專業(yè)知識或工程資源，不需要對IC設(shè)計實(shí)施流程或驗(yàn)證環(huán)境進(jìn)行更改。通過自動轉(zhuǎn)換現(xiàn)有的驗(yàn)證測試代碼，可以顯著增加覆蓋范圍，且錯誤變得更容易解決。

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

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

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

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

啄木鳥半導(dǎo)體CEO陳志偉表示：

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

芯華章科技董事長兼CEO王禮賓表示：

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

關(guān)于芯華章科技

芯華章聚焦EDA數(shù)字驗(yàn)證領(lǐng)域，打造從芯片到系統(tǒng)的敏捷驗(yàn)證解決方案，擁有超過180件自主研發(fā)專利申請。公司已成功打造十?dāng)?shù)款基于平臺化、智能化、云化底層構(gòu)架的商用級驗(yàn)證產(chǎn)品，可提供完整的數(shù)字驗(yàn)證全流程EDA工具解決方案。

關(guān)于啄木鳥半導(dǎo)體

由斯坦福校友創(chuàng)立的啄木鳥半導(dǎo)體專注于精準(zhǔn)發(fā)現(xiàn)硅前和硅后問題，以提高產(chǎn)量并避免昂貴的芯片故障。其顛覆性解決方案將驗(yàn)證和校驗(yàn)提升到一個新的水平。其國際業(yè)務(wù)總部設(shè)在新加坡，并在中國上海、深圳、臺灣新竹和美國德克薩斯州奧斯汀設(shè)有辦事處。

審核編輯：劉清