一、我们是谁

  “万众一芯”是一个开源开放的芯片验证平台,致力于用 AI 和软件的方式重构芯片验证。平台提供一系列工具,支持使用 Python 等软件语言编写芯片单元测试,同时兼容传统的 UVM 验证框架,让软件工程师也能参与到芯片验证中来。芯片验证智能体 UCAgent 可以大幅降低验证门槛,提升验证效率。开源高性能 RISC-V 处理器核“香山”是首批使用该平台的项目之一。

  我们希望汇聚软硬件工程师、高校学生与极客的力量,通过创新的验证技术和开放的协作模式,让“一万个人共同参与验证一款芯片”成为可能。期待您与我们一起,让芯片验证从“人力密集”走向“智能高效”,共同构建AI驱动的芯片验证新范式。

二、核心优势

1、验证智能体 UCagent,大幅提升验证效率

  基于大语言模型的 UCAgent 极大降低了芯片验证的参与门槛,并能够大幅提升验证效率。UCAgent 可与通用Agent 集成,并与开发者协同验证,让单元级硬件验证进入AI驱动的智能化新阶段

2、支持多语言验证,无需学习新语言

  通过开源工具,硬件电路可被转换为 Python, C++, Java 等多种语言。开发者可以用一行命令,完成从RTL级到多语言软件包的全流程转换,用自己擅长的语言进行验证。

3、集成软件生态,实现软硬件协同验证

  • 提供多语言高级验证框架:基于 Python 搭建高级验证框架 toffee,在支持传统的验证特性的同时,引入软件生态所带来的全新验证特性。

  • 建立UVM多语言通信:复用UVM验证环境,使用主流语言编写参考模型、测试用例,可直接使用C++、Python等语言与UVM通信。

三、平台活动

  “万众一芯” 面向所有背景的开发者,无论你是想尝试全新验证方法的硬件工程师,对开源芯片或芯片验证感兴趣的软件工程师,还是计算机专业的在读学生,都可以参与“万众一芯”的活动。

  我们提供开源验证工具与框架,开源验证智能体UCagent,通过复用软件测试生态进行芯片验证,各种背景开发者都能顺利参与到芯片验证中来, 同时配备学习资源和导师指导,带你顺利上手验证

1、新手任务(长期开放报名中)

  这是一项面向新手的学习+实战任务,旨在帮助您通过完整流程,掌握芯片验证的基本概念与核心技能。我们将从工具安装到模块验证,为您搭建起通向开源芯片世界的第一座桥梁。

  新手任务分为学习+实战,在完成4讲的学习后,您将进行一次实战演练,最终提交相应的验证代码和验证报告,成果经审核通过后,可获得价值99元的“万众一芯”周边礼包1份。

2、黑客马拉松(线上/线下举办)

  黑客马拉松活动**聚焦开源高性能RISC-V处理器“香山”的核心模块,邀请开发者前来挑战基于AI驱动的芯片验证任务。黑客马拉松活动不定期举办,**将在官方公众号/官网发布,往期活动点这里

  通过黑客马拉松,开发者可以深入了解香山处理器,体验UCagent带来的高效验证,与技术大佬面对面交流,并赢取奖金和官方认证,优秀成果将直接助力香山处理器完善。

四、企业合作

  芯片验证是芯片设计流程中最耗时、成本最高的环节之一。“万众一芯”致力于将开放、智能的验证方法引入企业实践,协助验证团队突破效率瓶颈。

  我们欢迎芯片企业与“万众一芯”展开深度合作。一方面,企业可以将验证任务发布至平台,汇聚全球开发者的智慧,实现众包式的芯片验证;另一方面,万众一芯的工具链可以部署到企业内部环境,结合实际项目需求进行定制与适配,帮助团队建立更高效的验证流程。

  无论是探索更灵活的验证模式,还是引入AI驱动的工具能力,我们都期待与您沟通,共同构建AI驱动的芯片验证新范式。欢迎通过邮件与我们联系:unitychip@bosc.ac.cn


  • “万众一芯”官网https://open-verify.cc/

  • “万众一芯”官方邮箱:unitychip@bosc.ac.cn;

  • “万众一芯”官方公众号:万众一芯 UnityChip

  • “万众一芯”官方交流群:600480230

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

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