声明:本文来自于微信公众号 新智元(ID:AI_era),作者:新智元,授权微新创想转载发布。 【新智元导读】中科院计算所等机构开创性地推出了全球首款完全由AI自主设计的CPU芯片,其电路规模比当前GPT-4所能设计的电路扩大了4000倍,性能表现更达到了与Intel 486相当的水平。中科院计算所的处理器芯片全国重点实验室及其合作伙伴,通过AI技术成功研发出世界上首个无人工干预、全自动生成的CPU芯片——启蒙1号。这颗32位RISC-V CPU不仅规模宏大,还能运行Linux操作系统,性能表现优异,这项突破性研究或将彻底颠覆传统芯片设计流程!论文地址:https://arxiv.org/pdf/2306.12456

世界首个AI全自动生成的CPU芯片

众所周知,CPU设计是一项极具挑战性且需要大量人力与资源投入的工作。传统上,工程师团队需通过编写代码(如Verilog、Chisel或C/C++等)并借助电子设计自动化(EDA)工具(如逻辑综合或高层次综合工具)来生成电路逻辑。此外,工程师还需反复使用测试用例进行功能验证和性能/功耗优化。这一过程极其复杂繁琐,通常需要上百人团队耗时数月甚至数年才能完成。以典型的Intel CPU为例,超过500位工程师花费两年时间才最终完成设计[1]。为减少人力与资源消耗,研究人员创新性地采用AI技术,直接从测试用例的输入-输出(IO)数据中自动生成CPU设计,无需工程师提供任何代码或自然语言描述。该方法在短短5小时内便成功生成了包含超过4,000,000个逻辑门的32位RISC-V CPU——启蒙1号(见图1),其规模是当前GPT-4所能设计电路的4000倍。

图1 启蒙1号芯片版图及实物图,其中CPU核心部分完全由算法自动生成,该芯片于2021年12月采用65nm工艺流片,运行频率300MHz

这颗CPU于2021年12月完成流片,回片后成功运行了Linux操作系统和SPEC CPU2000程序,其性能表现与Intel 486CPU相当(见图2)。启蒙1号作为世界上首款无人工干预、全自动生成的CPU芯片,其设计方法甚至自主发现了包含控制器和运算器等在内的冯诺依曼架构,为后续探索人类未知的体系结构优化知识提供了宝贵参考。

图2 启蒙1号芯片成功运行Linux操作系统及性能对比(CPU-AI为启蒙1号)

全自动CPU设计:设计流程及挑战

与传统CPU设计流程中大量依赖人工参与不同,研究人员创新性地以「输入-输出(IO)」作为核心输入,因为IO可以直接从海量现成的测试用例中获取或自动生成。因此,CPU自动设计问题被形式化为「满足输入-输出规范的电路逻辑生成问题」。这一创新使得传统CPU设计流程发生革命性变化:只需测试用例即可直接生成满足功能需求的电路逻辑,彻底摒弃了传统设计流程中耗时且依赖人工的逻辑设计与验证环节(见图3)。

图3 (a)传统CPU设计流程包括耗时的逻辑设计与验证;(b)所提出的全自动CPU设计流程直接从IO生成保证功能正确的电路逻辑

然而,从IO生成满足规范的电路逻辑仍面临两大核心挑战:(1)规模挑战:在缺乏专家提供的电路描述时,设计空间等同于所有可能存在的电路组合。对于典型RISC-V CPU而言,其设计空间极为庞大,在如此巨大的空间中找到功能正确的CPU超出了当前自动化设计方法的能力;(2)精度挑战:生成的目标电路逻辑必须达到极高的精确度(例如功能验证准确率>99.99999999999%),任何微小错误都可能造成巨大损失,这远远超出了传统AI算法和应用对精度的要求。

符号主义的重生:基于BSD的电路自动设计方法

为应对上述挑战,研究人员提出了一种基于对二元决策图(Binary Decision Diagram,BDD)进行扩展的二元猜测图(Binary Speculation Diagram, BSD)方法,区别于传统基于连接主义的深度学习方法。与依赖形式化描述的传统BDD不同,BSD使用常数0/1对BDD中的子图进行功能猜测。设计流程中,首先以仅含1个节点的BSD作为对未知黑盒函数的初始估计,然后通过动态规划方法逐步增加BSD中的节点数量,从而丰富电路细节(见图4)。该工作在理论上证明了随着BSD节点个数的增加,其电路准确率会逐步提升。

图4 具体的电路生成流程:从1个节点的BSD出发,逐步增加BSD中的节点数量以丰富电路细节

自主发现人类知识:蕴含冯诺依曼架构的CPU

值得注意的是,从IO自动生成的RISC-V CPU并非杂乱无章的黑盒逻辑,而是蕴含了人类已知的冯诺依曼架构知识:由BSD表示的CPU设计清晰地包含了控制单元和运算单元(见图5)。其中,控制单元由BSD的顶层生成,负责整个CPU的全局控制,而运算单元则完成算术和逻辑运算。此外,上述单元还可进一步分解为更细粒度的子模块,如译码器和ALU等,直至最底层由基本逻辑门构成。

图5 自主发现冯诺依曼结构:启蒙1号中包含控制单元和运算单元,同时可进一步分解为更细粒度的子模块

对比与展望:不同人工智能路径的交叉探索

自动电路逻辑设计一直是计算机科学的核心议题之一[2]。近年来,随着人工智能技术的飞速发展,基于行为主义和连接主义(如深度强化学习和GPT-4大语言模型等)的自动逻辑设计工作逐渐涌现(见表1)。然而,现有相关工作主要聚焦于生成单个模块或小规模CPU,其规模与实际CPU芯片仍存在多个数量级的差距。中科院计算所团队及其合作伙伴(包括中科院软件所、中科大、寒武纪公司等)提出的方法成功生成了超过4,000,000个逻辑门的完整RISC-V CPU,规模是当前GPT-4所能设计的电路的4000倍。同时,该工作在符号主义框架下从理论上保证了功能正确性,彻底颠覆了传统流程中的逻辑设计和功能验证环节。未来,通过符号主义、行为主义及连接主义等不同人工智能路径的交叉探索,自动生成的CPU有望在5年或10年内达到甚至超越人类专家所设计的CPU,彻底革新现有的芯片设计流程。

团队介绍

自2008年起,中科院计算所便长期致力于芯片设计与人工智能的交叉研究。其中,人工智能芯片寒武纪已成为一项广为人知的成果。在面向芯片设计的人工智能方法上,中科院计算所也积累了十余年的深厚经验,并持续探索如何用AI技术实现芯片设计的完全自动化。依托中国科学院计算技术研究所建立的处理器芯片全国重点实验室,是中国科学院首批批准正式启动建设的重点实验室之一,并被科技部遴选为首批20个标杆全国重点实验室,于2022年5月开始建设。实验室学术委员会主任为孙凝晖院士,实验室主任为陈云霁研究员。实验室近年来荣获处理器芯片领域首个国家自然科学奖等6项国家级科技奖励;在国际顶级会议上的论文发表数量长期位居中国首位;成功开创了深度学习处理器等热门研究方向;并孵化了总市值数千亿元的国产处理器产业头部企业。

参考资料:
[1] Bentley, B. Validating a modern microprocessor. In Proceedings of International Conference on Computer Aided Verification (CAV),2–4(2005).
[2] Church, A. Applications of recursive arithmetic to the problem of circuit synthesis. Summaries of the Summer Institute of Symbolic Logic1,3-50(1957)
[3] Roy, R. et al. Prefixrl: Optimization of parallel prefix circuits using deep reinforcement learning. In Proceedings of Design Automation Conference,853–858(2021)
[4] Chen, P. et al. Circuit learning for logic regression on high dimensional Boolean space. In Proceedings of Design Automation Conference,151–6(2020)
[5] Rai, S. et al. Logic synthesis meets machine learning: Trading exactness for generalization. In Proceedings of Design, Automation & Test in Europe Conference & Exhibition,1026–1031(2021)
[6] Blocklove, J et al. Chip-Chat: Challenges and Opportunities in Conversational Hardware Design. In arxiv, https://arxiv.org/abs/2305.13243(2023)

最新快讯

2025年08月14日

04:56
北京时间2025年8月14日,全球领先的网络技术巨头思科系统公司正式发布最新财报指引,向市场传递出强劲的业绩预期。公司宣布预计2026财年调整后每股收益(EPS)将在4美元至4.06美元之间,这一数字不仅超越了市场普遍预期的4.03美元,更展现出思科对未来市场发展的坚定信心和积极展望。此次上调盈利预测,不仅体现了公司业务模式的稳健性,也反映了其在数字化转型浪...
04:56
2025年8月14日,科技巨头Coherent公司正式发布了其2025财年的年度业绩报告,展现出令人瞩目的增长态势。公司全年总营收高达58.1亿美元,较去年同期实现了23%的显著增长,这一数据充分彰显了其在市场中的强劲竞争力与持续扩张能力。 在盈利能力方面,Coherent公司同样表现亮眼。GAAP(公认会计原则)毛利润率达到了35.2%,较去年同期大幅提升...
04:56
财联社8月14日快讯 热门中概股近日表现强劲,纳斯达克中国金龙指数当日强势上涨2.08%,展现出市场对中资企业的持续看好。在个股方面,多只股票涨幅惊人,其中小牛电动表现最为亮眼,股价一度飙升超过17%,成为当日市场焦点。小马智行同样录得显著涨幅,上涨幅度超过7%,反映出投资者对智能出行领域的热情。此外,阿里巴巴、百度和理想汽车等知名企业也纷纷上涨,涨幅均接近...
04:56
2025年8月13日收盘,纽约农产品市场迎来显著上涨,彭博谷物分类指数强势攀升0.69%,最终报收于28.9749点,显示出市场对农产品价值的普遍认可。在主要期货品种中,CBOT玉米期货表现强劲,涨幅达到0.57%,报每蒲式耳3.9675美元,反映出全球玉米供应与需求的积极变化。小麦期货同样录得上涨,涨幅为0.40%,报每蒲式耳5.07美元,这可能与近期气候...
03:59
2025年8月14日,北京时间,人工智能领域的明星企业Perplexity宣布正式启动新一轮融资计划,目标估值高达200亿美元。此次巨额融资不仅彰显了市场对Perplexity创新能力的极大认可,更将为其在人工智能领域的持续深耕和前沿技术研发注入强劲动力。据悉,该轮资金将重点用于扩大研发团队规模,加速突破性算法的迭代升级,同时推动AI技术在更多垂直行业的落地...
03:59
2025年8月14日,美国股市迎来强劲反弹,道琼斯指数涨幅扩大至1%的重要里程碑。这一积极表现不仅标志着市场信心的显著回升,更凸显了科技板块的领军作用。市场分析人士普遍指出,科技股的强劲表现是推动整体市场情绪回暖的关键动力。从半导体到云计算,再到人工智能相关企业,科技领域的持续创新与优异业绩为投资者注入了强大信心。这一趋势不仅反映了美国经济对科技创新的高度依...
03:59
2025年8月14日,全球原油市场迎来显著波动,纽约商品交易所WTI 9月原油期货价格收盘下跌0.82%,最终报收于62.65美元/桶,而伦敦洲际交易所布伦特10月原油期货价格同样承压下滑,跌幅为0.74%,报65.63美元/桶。这一轮油价调整的背后,市场分析指向了多重因素的共同作用。全球经济复苏步伐放缓,导致能源需求预期出现明显减弱,成为压低油价的直接推手...
03:59
国家矿山安全监察局于8月13日就新修订的《煤矿安全规程》作出权威解读,并正式宣布该规程将于明年2月1日起正式施行。此次修订聚焦煤矿企业安全管理核心环节,通过强化技术负责人配备及安全技术管理体系建设,全面提升煤矿安全生产能力。值得注意的是,新规对灾害防治机构人员提出了更高的学历与从业经验要求,确保关键岗位人才具备更强的专业素养与应急处置能力。 随着智能化巡检技...
03:59
2025年8月14日,法国电力巨头EDF发布紧急通报,宣布位于北部加来海峡省的Gravelines 2号核反应堆遭遇突发性停电事故。据官方数据显示,该反应堆原本满负荷运行时发电能力高达910兆瓦,但在事故发生后,发电量急剧下跌至仅剩70兆瓦,降幅超过99%。此次事件不仅对法国能源供应造成显著影响,更引发全球对核能安全运营的关注。 目前EDF已启动最高级别应急...
02:53
2025年8月14日夜间交易时段,中国金融市场的能源与贵金属板块呈现出截然不同的走势。上期所原油期货主力合约遭遇显著下跌,夜盘收盘时下跌1.69%,最终报收于482.20元/桶。这一表现反映出国际能源市场可能正经历整体性走弱,市场情绪受到多重因素影响。 与此同时,贵金属板块却展现出不同的动态。沪金主力合约夜盘小幅上涨0.11%,显示出一定的抗跌性。而沪银主力...
02:53
2025年8月14日,北京时间,科技巨头苹果公司正悄然推进一系列令人瞩目的创新项目,旨在拓展其产品矩阵并巩固在智能科技领域的领导地位。据行业消息透露,苹果正在积极研发适用于零售门店和制造业场景的大型机械臂,这款产品有望凭借其精准的操作能力和高度的自动化水平,大幅提升生产效率和服务体验。与此同时,苹果也在紧锣密鼓地筹备构建家庭安全生态系统,并计划推出一款具备强...
02:53
2025年8月14日,加拿大蒙特利尔银行(BMO)正式宣布一项重大战略调整,计划以约10亿美元的价格剥离其运输金融部门。这一决策标志着该行在业务结构优化方面迈出关键一步,旨在通过集中资源聚焦核心金融服务领域,进一步提升整体运营效率和市场竞争力。值得注意的是,该交易方案目前仍处于初步评估阶段,双方尚未签署任何具有法律约束力的最终协议,相关细节仍在进一步商讨中。...