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

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

達摩院RISC-V與生態(tài)驗證負責人梁中書表示：

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

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

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

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

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

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

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

啄木鳥半導體CEO陳志偉表示：

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

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

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

關于芯華章科技

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

關于啄木鳥半導體

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

審核編輯：劉清