“万众一芯”是一个开源开放的芯片验证平台,致力于用 AI 和软件的方式重构芯片验证。
平台自主研发了一系列开源工具,可以大幅提升验证效率,降低验证门槛。开源高性能 RISC-V 处理器核“香山”是首批使用该平台的项目之一。
期待您与我们一起,通过创新的验证技术、开放的协作模式,让芯片验证从“人力密集”走向“智能高效”,共同构建AI驱动的芯片验证新范式。
在芯片设计流程中,验证早已成为耗时最长、成本最高的环节。随着大语言模型和智能体技术的成熟,越来越多的团队开始尝试用AI来辅助验证,芯片验证正在从“人力密集”走向“AI驱动”。
万众一芯作为领先的开源芯片验证平台,致力于用AI与软件方法重构芯片验证,我们计划于6月27日(周六)下午在北京开源芯片研究院举办一场以“AI验证”为主题的 meetup。
届时,万众一芯将分享团队在AI验证方面的最新进展与实践,多家已深度落地 UCAgent 的企业将带来真实案例分享,还有更多芯片设计企业与科研机构参与现场交流。
为了让交流更丰富、更多元,我们公开征集“AI验证”主题报告——如果您已经在项目中尝试用 AI 辅助验证,或者正在探索 UCAgent 等工具的实际落地,欢迎来聊聊您的实践与思考。无论您是来自企业、高校还是科研机构,只要您正在用AI做芯片验证,或对验证智能化有独到见解,欢迎报名做一场 20-30分钟的技术分享。
活动信息
时间:6月27日(周六)14:00 – 18:00
地点:北京开源芯片研究院(海淀区海淀新技术大厦)
形式:线下交流为主,可线上进行分享
报名方式
如果您有意向分享,请扫码填写以下报名表,我们会尽快与您沟通细节。期待与您在6月27日,共同碰撞AI验证的更多可能!
*仅参与交流(不分享)也欢迎直接到场,无需报名。
万众一芯 UnityChip
“万众一芯”官网:open-verify.cc
GitHub:https://github.com/XS-MLVP/UnityChipForXiangShan
GitLink:https://www.gitlink.org.cn/XS-MLVP/UnityChipForXiangShan
