2026年6月8日至12日，2026 RISC-V欧洲峰会在意大利博洛尼亚举行。中国科学院计算技术研究所（以下简称“计算所”）联合北京开源芯片研究院（以下简称“开芯院”）共同推进的芯片验证工具——UCAgent，在本次峰会上完成首次国际公开技术展示，向全球RISC-V社区系统展示了其在芯片验证领域的技术实践。

芯片验证是芯片设计中耗时最长、成本最高的环节，其方法论的成熟度直接影响着RISC-V生态的发展速度。UCAgent是开源芯片验证平台“万众一芯”的核心工具，由计算所与开芯院联合研发，专注于自动化芯片验证，将大语言模型引入芯片验证流程，极大降低了芯片验证的参与门槛，并能够大幅提升验证效率。

本次峰会，在计算所副所长包云岗研究员带领的“香山”团队中，“万众一芯”UCAgent正式亮相。王卅副研究员、姚治成工程师带领“万众一芯”团队向全球RISC-V社区系统介绍了UCAgent的技术路线与工程实践。6月8日，计算所研究生王俊越以《UCAgent: An End-to-End Agent for Unit-Level Chip Verification》为主题进行Workshop报告，详细介绍了UCAgent的整体框架与关键机制，包括如何约束LLM输出、如何降低多阶段流程中的错误传播风险等核心问题，并现场启动了UCAgent网页实例，演示了从发起验证任务到查看执行结果与反馈的完整交互流程。演示结束后，来自全球的开发者们陆续上手体验，并围绕UCAgent的使用方式、适用场景及后续扩展方向展开了热烈交流。

计算所研究生王俊越进行workshop报告

6月10日，开芯院IC验证工程师宋方圆，国际实习生Mathis Fabre，计算所研究生王俊越主持了以《Software-Driven Hardware Verification in the AI Era: From RTL-as-a-Package to AI Verification Agents》为主题的Topic Table，讨论围绕“如果RTL可以像软件一样被访问和测试，AI时代的硬件验证应该如何演进”展开。团队着重介绍了software-driven verification（软件驱动硬件验证）的思路，通过将RTL模块封装为可被软件调用的库或package，让硬件验证能够接入Python、C++等高级语言及软件测试框架、自动化回归、持续集成、模糊测试和可复用测试库等现代软件工程流程。在展台及Poster Session环节，团队系统展示了UCAgent的技术路线与工程实践。RISC-V国际基金会CEO Andrea Gallo对UCAgent表示关注，并围绕技术细节与团队成员展开讨论。

UCAgent在本次峰会上完成首次国际公开技术展示，是计算所与开芯院在AI驱动验证领域联合攻关的重要阶段性成果。目前，UCAgent已在“香山”开源高性能RISC-V处理器多个模块验证中实际应用，并逐步向企业场景延伸，验证了AI驱动验证方法在真实芯片项目中的可行性。

未来，计算所与开芯院将持续深耕UCAgent及“万众一芯”验证平台工具链的研发，以开源开放的方式，与RISC-V社区一同探索验证效率的边界，通过创新的验证技术和开放的协作模式，让芯片验证从“人力密集”走向“智能高效”，共同构建AI驱动的芯片验证新范式，为“香山”处理器生态及更广泛的RISC-V产业提供智能化的验证基础设施。

参加本次RISC-V欧洲峰会的香山团队