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

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

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

展臺(tái)Demo亮點(diǎn)搶先看

HuaPro P3現(xiàn)場演示

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

GalaxSim Turbo

針對(duì)大規(guī)模仿真調(diào)試需求，GalaxSim Turbo創(chuàng)新雙引擎架構(gòu)(事件驅(qū)動(dòng)+基于周期)實(shí)現(xiàn)驗(yàn)證效率提升：

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

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

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

GalaxEC HEC

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

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

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

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

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