论芯率先跑进AI for EDA产线:读芯片协议文档速度25倍,揪出respin级bug

当所有人在讲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顶会的最佳论文提名，并提前完成了毕业要求——这样的节奏在学术界极为罕见。但他没有选择继续在学术界积累履历，而是在博士早期就加入论芯，把精力投入技术的产品化落地。