作為中國規模最大的RISC-V年度盛會，2025 RISC-V中國峰會將于7/16-7/19在上海張江科學會堂舉辦。

當前RISC-V憑借開放性、靈活性的技術優勢快速崛起，同時也面臨著高定制化帶來的復雜算子驗證難、大規模仿真調試資源不足、軟硬件bug定位困境等挑戰。

本次峰會，芯華章將攜三大產品demo亮相展臺，與現場的專家、學者分享從IP到系統的全流程RISC-V敏捷驗證方案，破解驗證痛點。

展臺Demo亮點搶先看

HuaPro P3現場演示

基于芯來科技NI900處理器，直觀呈現HuaPro P3在高性能計算場景下的穩定運行表現與高效適配能力，為相關技術落地提供了可參考的實踐范例。

GalaxSim Turbo

針對大規模仿真調試需求，GalaxSim Turbo創新雙引擎架構(事件驅動+基于周期)實現驗證效率提升：

·10倍效率提升：較傳統仿真器驗證效率提升最高10倍以上(案例包括：香山coremark-2-iteration、玄鐵C910 coremark-10);

·智能并行加速：多核并行算力+智能優化調度，更高并行仿真效率;

·全生態兼容：支持Verilog、System Verilog、UVM等，無縫遷移現有環境，適配RISC-V高定制化場景。

GalaxEC HEC

基于GalaxECHEC高階等價性檢查工具，快速搭建C/C++算法模型與RTL設計實現的形式化驗證環境并基于其高性能形式化求解引擎對RISC-V復雜數據通路算子進行快速完備驗證：

·語法支持度高：豐富的C++前端語法支持，支持最新ANSIC++ 17版語法及STL常用模板庫;

·高性能求解引擎：利用新一代形式化求解算法和多線程并行技術，加速證明收斂;

·靈活可定制：豐富的高性能RISC-V算子行為級模型解決算法級參考模型缺失煩惱，并提供豐富的開放接口，適配RISC-V多樣化設計需求。

歡迎大家蒞臨芯華章展臺B17，直擊驗證痛點，芯華章邀您共探RISC-V驗證挑戰，以敏捷方案加速產業落地!