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

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

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

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

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

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

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

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

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

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

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

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

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

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