经过48小时的高强度技术冲刺，“万众一芯”首届开源芯片黑客马拉松，于12月7日下午圆满落下帷幕。本次活动吸引了来自高校、科研机构和企业的优秀开发者参与，共同围绕香山处理器的核心模块，展开了一场别开生面的技术交流与竞赛。
双赛道竞技，展现验证技术新范式
本次黑客马拉松设立了找Bug赛道和Token效率赛道，从不同维度考验参赛者的技术实力，以及参赛者能否利用AI提升芯片验证的效率。
在找Bug赛道中，参赛队伍需要基于香山YunSuan模块的向量运算单元，寻找设计中的隐藏缺陷。我们提前在VectorFloatFMA、VectorFloatAdder、VectorIdiv三个模块中注入了15个不同难度的Bug，参赛者需要在全面验证后发现注入的Bug，并提交报告和测试用例。
在Token效率赛道中，参赛队伍需要使用 UCAgent API 模式进行智能验证，通过优化验证策略提升效率（E=Bug数/总Token消耗）。在保证人工注入Bug发现率>80%的前提下，角逐最优验证方案。
比赛期间，线下参赛者在进行热烈讨论
参赛者线上提交成果，评委进行打分和审核
48小时攻坚，彰显开源协作新力量
活动在12月6日上午9点正式拉开帷幕。首先，中国科学院计算技术研究所工程师姚治成，为大家介绍了“万众一芯”开放验证平台的背景和成果，并阐述了本次黑客马拉松的独特定位：不仅是一场寻找Bug的竞赛，更是围绕UCAgent这一智能验证体展开的实战演练。之后，香山处理器后端设计组的刘泽昊，为大家进行了DUT模块的介绍，帮助参赛者更快地熟悉本次赛题的内容。
“万众一芯”项目负责人姚治成老师进行活动开场
香山处理器后端设计组的刘泽昊为大家介绍DUT模块
经过2天的激烈角逐，两个赛道共产生4支获奖队伍，赢得了奖金和证书。获奖选手不仅在规定时间内，完成了既定验证目标，更带来了超出比赛之外的交流碰撞与惊喜。
01
从“零接触”到“双料冠军”
一场硬核的实力演绎
本次大赛最为亮眼的，是来自中国科学院软件研究所的HASSLab小队，拿下了本期黑客松的第一名。有意思的是，选择线下参赛的HASSLab小队，第一天却并没有出现在比赛现场。一问才得知，因为万众一芯在周五放出了赛题，小队四人连夜开始奋战赛题，第二天谁也没爬起来去现场。
HASSLab小队是第一次参加万众一芯的活动，在此前完全没有接触过“万众一芯”平台和UCAgent工具的情况下，凭借扎实的计算机功底和强大的学习能力，在短短2天的比赛窗口期内，不仅从零开始快速掌握了工具链，更成功找到并复现了DUT模块中全部15个预埋Bug，展现了卓越的技术攻坚实力。
HASSLab小队的芮同学现场进行成果汇报
芮同学笑指比赛过程中最难找的Bug
该Bug在预埋时，香山设计工程师认为基本不可能被触发，所以分值并不高，但还是被追求完美的HASSLab小队艰难的找了出来
更令人赞叹的是，在高质量完成“找Bug赛道”的挑战后，该小队仍有充足余力，利用剩余时间深入优化验证策略，向“Token效率赛道” 发起冲击，并最终凭借出色的综合实力，一举包揽了两个赛道的冠军，成为本次大赛当之无愧的“双料王”。他们的表现，完美诠释了开源工具在降低门槛的同时，更能激发优秀开发者的无限潜力与可能。
02
来自产业一线的认可
“实际可用”是最高评价
大赛的另一宝贵收获，是与产业界参赛者的深度交流。一位来自算能科技的验证工程师全程参与了活动。在交流中他表示，作为一线从业者，他曾系统调研过众多国内外开源验证工具与平台，而最终在实践中发现，“万众一芯”是他能接触到的唯一能够真正满足工业级需求、具备“实际可用性”的平台。其工具链的完整性，以及对真实工程场景的贴合度，给他留下了深刻印象。
来自算能科技的参赛者赵同学（左）第一天熬夜到凌晨1点布环境，第二天5点起床继续比赛
他进一步表示，计划将本次活动的实践经验与成果带回企业，积极推动“万众一芯”的开源工具链在公司的实际验证工作中进行试点部署与应用。来自产业一线如此明确的认可与合作意向，无疑是对“万众一芯”项目致力于联通学术前沿与工程实践这一目标的最有力肯定。
算能科技验证工程师（左）最初是在B站无意刷到UCagent直播，从而了解到万众一芯，此次线下交流，终于和直播的主讲人计算所博士生皮彦（右）正式面基。
持续探索与应用，智能验证未来已到来
12月7日下午的汇报与颁奖环节将活动推向高潮。中国科学院计算技术研究所副所长，北京开源芯片研究院首席科学家包云岗老师亲临现场，仔细聆听了各团队基于 UCAgent 完成的验证成果汇报。他对参赛者展现出的、利用UCAgent解决复杂问题的技术深度与创新方法表示赞赏。
听完参赛者的汇报，包云岗老师进行讲话
在颁奖环节，包老师亲自为获奖团队颁奖并发表讲话。他特别指出，本次围绕UCAgent的黑客马拉松具有标志性意义：“这不仅验证了UCAgent工具本身的实用性，更展示了一种AI驱动验证这一新范式的巨大潜力。” 他鼓励“万众一芯”社区继续深化UCAgent的研发与应用，将其打造为连接学术前沿与产业实践的关键桥梁，推动开源芯片验证生态的整体效能提升。
包云岗老师为参赛选手颁发获奖证书
以本次大赛为里程碑，“万众一芯”社区将继续聚焦以UCAgent为核心的智能验证生态建设。我们将持续深化工具链的研发，拓展应用场景的边界，在2026年继续举办系列技术活动。
在未来的赛事中，我们将持续引入更复杂的实际场景、更前沿的验证命题，并提供更丰富的资源支持，让每一次参与都成为技术进阶与价值创造的契机！万众一芯期待与全球开发者、高校及企业携手，共同探索和实践AI赋能芯片验证的更广阔未来。
万众一芯 UnityChip
“万众一芯”是基于众包模式的芯片验证平台。支持使用 Python/Java/Go 等编写芯片单元测试UT（Unit Test）用例，同时兼容传统UVM验证框架，旨在让软件工程师也可以参与芯片验证。
“万众一芯”汇聚软硬件工程师、高校学生与极客的力量，让“一万个人共同参与验证一款芯片”。开源高性能 RISC-V 处理器核“香山”是首批“万众一芯”平台的开源芯片项目。期待您与我们一起，为开源芯片的发展贡献力量！
“万众一芯”官网：open-verify.cc
GitHub：https://github.com/XS-MLVP/UnityChipForXiangShan
GitLink：https://www.gitlink.org.cn/XS-MLVP/UnityChipForXiangShan