編者按
芯華章這款等價性驗證系統的可貴之處，是站在用戶需求的立場上，實打實地實現了很多實用功能的創新。
具體來看，一是全，全在一站式覆蓋系統級、前端、后端等價性驗證需求，已具備當下各類主流等效性驗證工具的所有核心功能；二是快，借助并行化的算法和自研求解引擎庫，能夠在某些領域實現近百倍的效率提升；三是活，豐富的開放接口設計，讓用戶可以便捷、靈活訪問工具的底層數據庫，自主定制驗證和調試流程。
2023年9月18日，在首屆IDAS設計自動化產業峰會(Intelligent Design Automation Summit)上，面向數千名到場的EDA產業上下游企業及相關專業人士，業內領先的系統級驗證EDA解決方案提供商芯華章，隆重發布首款自主研發的數字全流程等價性驗證系統穹鵬GalaxEC。隨著GalaxEC的發布，芯華章自主EDA工具完成了對數字驗證全流程的完整覆蓋，進一步完善了自身豐富的系統級驗證產品組合，可以為芯片設計及系統級用戶提供更全面的敏捷驗證服務。
GalaxEC已具備當下各類主流等價性驗證工具的所有核心功能，服務場景貫穿于數字芯片設計從系統級到前后端設計的各個階段，可一站式滿足用戶全流程等價性驗證需求，避免多工具切換成本，幫助工程師確保不同層次設計之間的一致性，支持遍歷式驗證，發現深層次的臨界設計錯誤，確保設計的正確性并實現正式簽核。
面向下一代EDA 2.0目標，GalaxEC運用新一代形式化求解算法和并行計算技術打造高性能求解引擎，可支持原生云部署，提供了豐富完備的用戶開放接口，可以更好地滿足敏捷驗證與設計需要。
在完整的芯片設計流程中，等價性驗證工具被廣泛應用到設計流程中的各個不同階段。當一個設計經過變換之后，諸如系統C模型級對RTL級、RTL級對RTL級、RTL級對門級以及門級實現之間，工程師需要檢驗變換前后的功能一致性，證明設計的變換或優化沒有產生功能的變化。這在設計前端的時序優化，后端單元放置優化、網表級檢查、ECO修改等中都是必不可少的環節。
CPU/GPU/AI等圖像處理以及加密算法設計，往往以算法設計為中心并且數據通路繁重，經常使用C/C++等高級語言對它們的行為進行建模，這就需要保障RTL設計與高階算法C/C++描述完全等價，確保功能正確
寄存器時序調整或插入用于功耗優化的門控時鐘后，需要針對不同設計輸出逐時鐘周期（Cycle-by-Cycle）精確等價驗證，如動態功耗優化（Power Optimization）、門控時鐘（clock gating）、時序調整（retiming）等
關鍵節點（如Flip Flop pair）組合邏輯改動前后的等價性驗證，保證在邏輯綜合過程中沒有改變原先HDL描述的電路功能，完備驗證從RTL編碼到最終LVS（Layout Versus Schematic）階段設計的功能一致性
為了更好滿足越來越多的大規模設計驗證需求，GalaxEC支持大容量數據的快速處理，能夠直接讀入和驗證SoC級大設計，自動化完成大規模驗證建模，可實現對大容量SoC級的門級網表等價性驗證。基于對等價性驗證系統原理的深刻理解，芯華章GalaxEC自主研發了高效形式驗證求解引擎庫XSolver，求解引擎采用新一代求解算法和并行計算技術，相對于傳統形式驗證求解引擎，在某GPU算子用例實驗結果中，表現出百倍以上性能提升，幫助用戶高效、敏捷地完成復雜系統級項目開發。
具體以Nyuzi GPGPU設計為例，GalaxEC僅僅用時9分鐘就完成時鐘樹綜合前后的網表等價性驗證，60分鐘內完成Placement布局前后的網表等價性驗證，45分鐘完成Routing布線前后的網表等價性驗證。
作為國內領先的無線通信芯片方案提供商，矽昌通信長期專注產業空白的Wi-Fi AP芯片研發，發布了大陸首款無線路由芯片。
矽昌通信CEO王勝表示，“無線通信芯片往往需要具備高度的可靠性、穩定性和極低的功耗，以確保在各種復雜部署條件下的正確運行。芯華章GalaxEC提供的時序與組合邏輯等價性驗證工具，基于自主研發的XSolver引擎庫和多線程技術，可以高效、敏捷地驗證數字設計全流程各階段設計的等價性，特別是在綜合與布線完成后，即使對設計做細微優化，也可直接快速驗證優化前后設計等價性，避免了使用傳統動態仿真工具對網表進行重復測試，保證了網表變更回歸驗證的完備性，幫助我們更快實現新產品的開發和上市。”
芯華章董事長兼CEO王禮賓表示，“GalaxEC的發布，不僅是芯華章研發團隊全情投入的成果，也離不開各領域產業用戶的信賴和打磨。越來越多的大規模復雜IC設計需要專門的等價性驗證工具來實現更快、更完備的驗證收斂。我們結合用戶使用場景，打造了這款全流程等價性驗證系統，可以一站式滿足用戶主要需求，無論是系統級還是前端或者后端，從而避免碎片化、兼容性帶來的驗證效率瓶頸和成本。未來，我們將繼續與業界伙伴保持深度合作，通過在數字驗證全流程領域的持續創新，不斷推出更符合用戶定制化需求的敏捷驗證方案，助力數字化創新效率提升。”
除了帶來最新的產品研發成果，芯華章秉承開放、共贏的合作精神，深度參與本次IDAS峰會的各個環節，與國內外知名學者、高校專家、企業領袖同臺論道，為促進EDA產學研生態深度融合建言獻策。
本次IDAS峰會由EDA開放合作創新組織EDA²主辦。作為EDA²驗證專委相關分委會重要成員，芯華章一直保持同組織單位的密切交流，貢獻了大量技術標準及解決方案，率先提交完整的調試系統波形接口標準文件，并參與形式驗證指引格式FVG標準制定，為國產EDA早日建立統一的行業標準作出了重要貢獻。
對本產品感興趣的朋友們，也歡迎點擊文末閱讀原文鏈接，獲取更多信息。
關于芯華章
芯華章科技成立于2020年3月，聚焦EDA數字驗證領域，打造從芯片到系統的驗證解決方案，以智能調試、智能編譯、智能驗證座艙、智能云原生為四大技術底座，已發布多款基于平臺化、智能化、云化底層構架的系統級驗證產品，可提供完整的全流程數字驗證EDA工具，并已全面投入市場，交付多家頭部用戶使用。同時，芯華章致力于面向未來的EDA 2.0 智能化電子設計平臺的研究與開發，以技術革新加速系統創新效率，讓芯片設計更簡單、更普惠。
關于矽昌通信
矽昌通信成立于2014年，專注于產業空白的Wi-Fi AP芯片研發。公司曾于2018年推出本土首款Wi-Fi AP芯片。歷經8年艱苦研發，矽昌團隊已積累出色的鏈路設計能力、關鍵IP自研能力、自有算法、軟件、方案解決能力，擁有多顆大規模SoC設計開發量產經驗。公司產品已廣泛應用于頭部網通產品廠商，出貨量達數百萬顆，是國內屈指可數的Wi-Fi AP芯片提供商。矽昌通信已于2019年獲得高新技術企業認證，并于2022年成功通過ISO9001質量體系認證。
關于EDA平方
EDA²是在實現中國集成電路電子設計自動化長期競爭力的共同愿景下，由從事集成電路電子設計自動化的研究、設計、驗證、測試、應用和服務的企事業單位、大學和科研院所、專業機構等單位自愿組成，專注于推動中國集成電路電子設計自動化產業發展的合作機制。
