夜雨聆风
“万众一芯”是一个开源开放的芯片验证平台，致力于用 AI 和软件的方式重构芯片验证。
平台自主研发了一系列开源工具，可以大幅提升验证效率，降低验证门槛，众包验证工作。开源高性能 RISC-V 处理器核“香山”是首批使用该平台的项目之一。
期待您与我们一起，通过创新的验证技术、开放的协作模式，让芯片验证从“人力密集”走向“智能高效”，共同构建AI驱动的芯片验证新范式。
参与方式：直接到场即可，本次活动不进行直播
本次分享聚焦软件工具与开放生态在硬件验证中的应用与价值，介绍最新被
ISCA 2026 接收的研究工作 Democratizing and Accelerating Hardware Verification with Software-Native Optimization，并结合“万众一芯”的整体实践，讨论如何以软件化、平台化和智能化的方法降低硬件验证门槛、提升验证效率。在芯片设计复杂度不断上升、验证成本持续增长的背景下，硬件验证正面临效率、易用性与协同能力的多重挑战。“万众一芯”围绕这一问题展开系统探索，推动相关能力从论文研究走向工具平台与智能应用。本次报告将结合Picker、XSPdb 与 UCAgent 等工作，展示这一方向从方法创新到系统支撑，再到智能化交互的持续演进。
欢迎感兴趣的朋友们到场参与，也欢迎大家加入开芯院谈芯沙龙群，随时获取活动信息~
万众一芯 UnityChip
“万众一芯”官网：open-verify.cc
GitHub：https://github.com/XS-MLVP/UnityChipForXiangShan
GitLink：https://www.gitlink.org.cn/XS-MLVP/UnityChipForXiangShan
