‍阿里巴巴达摩院近期推出了面向下一代数据中心的RISC-V高性能处理器玄铁C930，其通用算力性能在 SPECint2006 基准测试中达到 15/GHz。面对复杂的架构和庞大的验证需求，以及对验证速度和软件协同开发的要求，达摩院选择新思科技HAPS-200硬件辅助验证平台，实现了以下突破：

超高运行主频：玄铁C930单核处理器在HAPS-200单FPGA上稳定运行于80MHz，多核处理器在HAPS-200多FPGA上稳定运行于20Mhz5天完整启动：仅用5天就完成了OS、SPEC基准测试、AI应用及KVM虚拟化全套软件启动1000倍效率提升：相比传统仿真验证，效率提升达三个数量级多用户模式支持：HAPS-200为玄铁C930评估系统提供多用户同时在线评估支持，便捷高效复杂接口验证：支持DDR5-5600、PCIe Gen5等高速接口的真实场景验证，确保协议一致性软件提前启动：在RTL阶段即可启动Linux操作系统及KVM虚拟化，软硬件协同优化时间窗口扩大数倍真实性能压测：运行SPEC等大型基准测试，精准评估芯片性能，指导架构优化

在AI驱动的时代，验证不仅仅是功能正确，更要确保性能、功耗和软件兼容性。HAPS-200的引入，让达摩院能够在设计早期完成系统级验证，显著缩短上市时间，降低风险，并推动RISC-V生态加速成熟，开启RISC-V高性能新时代。