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

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

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

展臺Demo亮點搶先看

HuaPro P3現(xiàn)場演示

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

GalaxSim Turbo

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

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

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

·全生態(tài)兼容：支持Verilog、System Verilog、UVM等，無縫遷移現(xiàn)有環(huán)境，適配RISC-V高定制化場景。

GalaxEC HEC

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

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

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

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

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