芯华章邀您共赴2025 RISC-V中国峰会

作为中国规模最大的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验证挑战，以敏捷方案加速产业落地!