2026年6月，2026 RISC-V欧洲峰会在意大利博洛尼亚举行，中国科学院计算技术研究所“香山”团队“万众一芯”UCAgent正式亮相。王卅副研究员、姚治成工程师带领“万众一芯”团队向全球RISC-V社区系统介绍了UCAgent的技术路线与工程实践。作为“万众一芯”团队中的重要成员，国科大南京学院信息学院电子信息专业硕士研究生王俊越（科教融合单位：南京信息高铁研究院）进行Workshop报告。

芯片验证是芯片设计中耗时最长、成本最高的环节，其方法论的成熟度直接影响RISC-V生态的发展速度。UCAgent是开源芯片验证平台“万众一芯”的核心工具，专注于自动化芯片验证，它将大语言模型引入芯片验证流程，极大地降低了芯片验证的参与门槛，同时可以大幅提升验证效率。王俊越作为团队的重要成员参与了这套自动化验证工具的研发工作。

在计算技术研究所“香山”团队的支持下，王俊越在本次国际峰会上承担了多项工作。6月8日，他以UCAgent: An End-to-End Agent for Unit-Level Chip Verification为题作Workshop报告，详细介绍了UCAgent的整体框架与关键机制，包括如何约束LLM输出、如何降低多阶段流程中的错误传播风险等核心问题，并现场启动UCAgent网页实例，演示了从发起验证任务到查看执行结果与反馈的完整交互流程。演示结束后，来自全球的开发者陆续上手体验，并围绕UCAgent的使用方式、适用场景及后续扩展方向展开了热烈交流。

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已在“香山”开源高性能RISC-V处理器多个模块验证中实际应用，并逐步向企业场景延伸，验证了AI驱动验证方法在真实芯片项目中的可行性。面向未来，团队将持续深耕UCAgent及“万众一芯”验证平台工具链的研发，以开源开放的方式，与RISC-V社区一同探索验证效率的边界，通过创新的验证技术和开放的协作模式，推动芯片验证从“人力密集”走向“智能高效”，共同构建AI驱动的芯片验证新范式，为“香山”处理器生态及更广泛的RISC-V产业提供智能化验证基础设施。