AI for EDA提速25倍：论芯率如何以AI读懂芯片协议文档
允中 发自 凹非寺
量子位 | 公众号 QbitAI
免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈
当所有人在讲AI for EDA的故事，论芯先跑进了产线
芯片设计的复杂度每两年翻一番，但有一个环节的效率几乎没变过——读文档
SoC验证工程师，在写下第一行代码之前，往往要花几周甚至几个月，把几百上千页的协议规范读完、读透、理清楚。
任何一处遗漏，都可能导致验证覆盖不全，最终的代价是respin——一次流片失败，几百万美金和几个月周期归零
EDA工具进化了几十年，综合工具替代了手工逻辑优化，布局布线工具替代了手工版图设计，仿真工具替代了手工波形检查。但“读文档、定策略、写验证”这一层，几十年来始终没有被工具化。
论芯科技已经在真实产线上给出了答案。
论芯的系统做的事情，一句话概括：拿到一份芯片协议文档，自动输出可用的验证代码
在一次客户的实际验证任务中，系统跑出了三组值得注意的结果：
发现了一个respin级别的bug，这意味着系统对spec的理解深度已经足以捕捉到那些会导致流片失败的关键缺陷；同一任务中，识别出超过100条pattern的timing违例，这些在传统流程中需要工程师逐条人工排查；整个任务的完成速度达到资深专家的25倍
这不是实验室里的数字，是在客户的真实项目里跑出来的。论芯目前已在多家客户的真实项目中完成部署。
为什么是论芯先做出来？
答案藏在创始团队的经历里。
论芯创始人何卓论做AI与EDA的交叉领域已经近十年。北大本科毕业后留校读博，中途退学，去香港中文大学从头再来。他原本甚至打算博士毕业后回高中当一名信息学竞赛老师，但在真正深入产业一线后，他改变了想法。
△论芯科技创始人何卓论
不同于大多数这个方向的研究者，他几乎在链条上的每个位置都待过：做过EDA工具开发，做过EDA工具中的AI算法，也做过跑AI算法的芯片设计。
横跨多个角色的经历让他得出了一个在学术圈不太主流的判断：
AI for EDA最大的问题不是模型不够强，而是做方法论的人不懂业务场景，做业务的人没有足够的方法论储备。两边之间有一条巨大的鸿沟。学术界发了大量论文，绝大多数停在proof of concept阶段，离工程师真正用起来还差得远。
何卓论要填的就是这个gap。于是他创办了论芯。
蒲渊是论芯的联合创始人兼CTO。在香港中文大学读博的第一年，他就连续以第一作者身份拿到三个EDA顶会的最佳论文提名，并提前完成了毕业要求——这样的节奏在学术界极为罕见。但他没有选择继续在学术界积累履历，而是在博士早期就加入论芯，把精力投入技术的产品化落地。
△论芯科技联合创始人兼CTO蒲渊
一个看得到业务全局的人，加一个能把技术打穿的人——论芯的核心就是这么搭起来的。
围绕这个核心，论芯搭建了一支兼具芯片领域知识和AI工程能力的团队。AI中台和智能体方向的负责人均来自AI行业一线，有成熟的大模型产品化和系统落地经验。这让论芯在技术路线上不是从学术论文出发去找场景，而是从工程实践出发去定义技术架构。
知识图谱打底，大模型做引擎
正是这样的团队，决定了论芯的技术路线走法跟“拿GPT或开源模型直接挂一个RAG”有本质区别
RAG解决的是检索问题，给模型喂相关段落，让它回答问题。但芯片验证不是问答，它是一个工程问题。
一份几百页的spec里，时序要求散落在第三章，异常处理逻辑藏在第七章的附录里，跨模块的依赖关系要对着三份不同的文档交叉比对——同一个功能点的约束条件可能散落在十几个不同章节。
人类工程师靠经验和记忆力把它们关联起来，论芯的系统靠一套从芯片领域基础知识中进化出来的知识图谱
具体来说，一份spec文档进入系统后，首先被自动解析，随后组织成一张知识图谱。这张图谱的schema不是人为定义的静态模板，而是能适应不同协议、不同架构的文档结构。知识图谱不仅汇聚信息，还能自动识别文档内部的冲突和不一致，而这些恰恰是人工阅读中最容易遗漏的。
知识图谱之上，大语言模型作为推理引擎，结合任务相关的上下文，根据验证策略自动生成下游所需的产物：覆盖模型、测试平台、测试pattern。
从文档到可执行的验证代码，整条链路被打通。
用何卓论的话说：“我们不是在做一个AI模型，是在做一个能嵌入工程师工作流的工具。模型是引擎，但引擎不是汽车。”
以验证为入口，构建AI原生EDA平台
AI for EDA是一个正在快速升温的方向，整个行业正在形成共识：AI会深刻改变芯片设计的流程。
在这个共识之下，真正决定一家公司位置的，不是叙事本身，而是谁先把技术落进客户的产线、拿到可验证的结果。
论芯选择的路径很明确：先在最痛的场景里证明自己，用结果建立信任，再向平台扩展
验证是入口，平台是目标。
一个AI原生的、能够包住EDA工具链的平台，让芯片设计流程中每一个依赖人力经验的环节，逐步被系统化、自动化。从文档理解到验证生成，从验证到设计流程的更多节点，论芯要做的是一层一层地把AI能力铺进去。
这件事没有捷径，只能一个场景一个场景磨出来。论芯已经磨出了第一个。
相关攻略
允中 发自 凹非寺量子位 | 公众号 QbitAI当所有人在讲AI for EDA的故事，论芯先跑进了产线芯片设计的复杂度每两年翻一番，但有一个环节的效率几乎没变过——读文档SoC验证工程师，在写下
文｜财华社近日在A股市场锋芒毕露的源杰科技（688498 SH），正式向港交所（00388 HK）递表。这家成立于2013年，并于2024年在上交所科创板上市的企业，正试图通过 "H股 "这一新身份，搭
IT之家 3 月 29 日消息，苹果 MacBook Neo 大获成功，助力公司为苹果生态吸纳了创纪录数量的新用户。不过，这款机型的设计团队在散热方案上“偷工减料”，导致内置的 A18 Pro 芯片
IT之家 3 月 26 日消息，AMD 现已在官网上线锐龙 9 9950X3D2 双缓存版台式处理器，这是其首颗在两个 CCD 芯片上均集成额外 3D V-Cache 的 MSDT CPU，总 L3
当“iPhone 4回收价暴涨80倍”的话题登上热搜，你是不是也准备翻翻抽屉，找找家里的老手机？从实地走访数码城来看，有个好消息和坏消息：根据店家反馈，苹果手机回收价“总体平稳”，真正涨价的是那些原
热门专题
热门推荐
首先使用系统内置工具校准显示器颜色，调整伽马、亮度、对比度和色彩平衡；其次可借助专业校色仪进行硬件级校准并生成ICC配置文件；接着检查并更换高质量视频线缆以确保信号稳定；然后更新显
1、第一步，在手机中打开萤石云应用程序，然后单击萤石云智能相机设备进入，见下图，转到下面的步骤。2、第二步，执行完上面的操作之后，可以检查摄像机的实时监控屏幕，此时，单击右上角的三
《洛克王国：世界》是由腾讯IEG魔方工作室群开发的大世界精灵收集养成战斗游戏，在游戏中有许许多多不同的精灵，游戏中可以用果实来产生精灵，那么有不少小伙伴好奇机械方方果实怎么获得，下
近日，泰国普吉岛的一则噩耗引发全球关注——33岁的英国真人秀男明星乔丹·赖特，被发现溺亡于当地一处排水沟中。无独有偶，就在上个月，一名中国女子在泰国芭提雅参加泳池派对后失联，最终被警方发现其不幸遇害
CPU位于主板中央偏上、散热器正下方的专用插槽中，可通过机箱目视、系统软件（如msinfo32、HWiNFO64）或主板说明书图示三步精准定位。如果您想定位电脑中负责核心运算与指令