6月8日至12日，2026 RISC-V欧洲峰会在意大利博洛尼亚举行。万众一芯作为领先的开源芯片验证平台，携最新技术成果与实践经验亮相峰会。

在为期五天的峰会中，万众一芯首次向全球RISC-V社区系统展示了“软件驱动硬件验证”的技术理念与UCAgent的工程实践，吸引了来自产业界、学术界和开源社区的广泛关注与深入交流。

6月8日，万众一芯团队王俊越以《UCAgent: An End-to-End Agent for Unit-Level Chip Verification》为主题进行了一场Workshop。

万众一芯团队王俊越进行workshop报告

首先，报告系统介绍了将大语言模型引入单元级芯片验证流程的背景与动机——随着芯片设计复杂度持续提升，验证流程中仍存在任务拆解复杂、人工参与度高、结果一致性难以保证等挑战。

随后，详细介绍了UCAgent的整体框架与关键机制，包括如何约束LLM输出、如何降低多阶段流程中的错误传播风险等核心问题。在现场启动了UCAgent网页实例，向全球而来的开发者们演示了从发起验证任务，到查看执行结果与反馈的完整交互流程。

演示结束后，来自全球的开发者们陆续上手体验，尝试针对不同模块启动验证任务，并围绕 UCAgent 的使用方式、适用场景及后续扩展方向展开了热烈交流。

国际开发者们在workshop现场交流体验

6月10日中午，万众一芯团队 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++ 等高级语言，以及软件测试框架、自动化回归、持续集成、模糊测试和可复用测试库等现代软件工程流程。

万众一芯团队Mathis Fabre（右）在为参会者介绍

另外，在Poster Session 环节，万众一芯系统展示了 UCAgent 的技术路线与工程实践。围绕LLM与芯片验证的结合，重点介绍了基于Python构建芯片验证环境的方法、LLM在验证流程中当前能够承担的任务，以及在不同规模设计模块上的自动化验证能力。Poster吸引不少专家学者驻足，万众一芯与参会者进一步探讨了 AI Agent 在芯片验证中的应用潜力、工程挑战以及未来发展方向。

RISC-V Main Program 展台是集中展示 RISC-V 生态建设、开源项目成果与产业协同进展的重要窗口。万众一芯此次在北京开源芯片研究院展区亮相，通过现场展示与交流，向来自学术界、产业界和开源社区的嘉宾介绍社区的建设理念与技术成果。

万众一芯团队在展台

展台吸引了众多来自产业界、学术界和开源社区的嘉宾驻足交流。重点介绍了希望解决的问题、已开发的开源工具及其应用场景，参会者们对工具的具体功能、实现机制和实践价值表现出浓厚兴趣，并围绕技术细节展开了深入讨论。

徐易难为RISC-V 国际基金会CEO Andrea Gallo介绍UCAgent

本届峰会关注RISC-V在数据中心、AI、汽车等核心赛道的规模化落地。验证作为芯片设计中耗时最长、成本最高的环节，其方法论的成熟度直接影响着RISC-V生态的发展速度。

UCAgent 此次在RISC-V欧洲峰会上完成首次国际亮相，将AI驱动验证的技术实践置于国际学术与产业交流的语境中接受检验。如何让验证更高效、更智能，是这一领域正在发生的技术趋势，也是全球芯片工程师共同面对的问题。

万众一芯将继续深耕AI驱动的验证工具链，以开源开放的方式，与RISC-V社区一同探索验证效率的边界。

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

• “万众一芯”官网：open-verify.cc

• GitHub：https://github.com/XS-MLVP/UnityChipForXiangShan

• GitLink：https://www.gitlink.org.cn/XS-MLVP/UnityChipForXiangShan

  
  

  欢迎您关注开芯院公众号

  ▼