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

允中 发自 凹非寺
量子位 | 公众号 QbitAI

当所有人还在谈论AI for EDA的未来时，论芯科技已将其带入产线。芯片设计复杂度每两年翻一番，但“读文档”这一环节效率却几乎停滞。SoC验证工程师在编写代码前，需花费数周甚至数月阅读数百页协议规范。任何遗漏都可能导致验证覆盖不全，最终引发流片失败（respin），损失数百万美元和数月时间。

EDA工具虽已大幅进化，但“读文档、定策略、写验证”这一层始终未被工具化。论芯科技通过其系统实现了突破：输入芯片协议文档，自动输出可用的验证代码。在一次客户任务中，系统表现亮眼：发现了可能导致流片失败的respin级bug；识别出超100条timing违例；完成速度达到资深专家的25倍。这些成果已在多家客户的真实项目中得到验证。

为何是论芯？
创始人何卓论深耕AI与EDA交叉领域近十年，横跨EDA工具开发、AI算法研究及芯片设计。他认为，AI for EDA的核心问题并非模型不够强，而是方法论与业务场景脱节。联合创始人兼CTO蒲渊则是学术与工程结合的典范，曾获多个EDA顶会最佳论文提名，并选择在博士早期加入论芯，推动技术落地。

论芯团队兼具芯片知识与AI工程能力，技术路线独特：以知识图谱为基础，大模型为引擎。系统解析spec文档后生成动态知识图谱，不仅能整合散落各处的信息，还能识别文档冲突。在此基础上，大模型结合上下文生成验证代码，打通从文档到执行的完整链路。

以验证为入口，构建AI原生EDA平台
AI for EDA正快速升温，而论芯选择从最痛点切入——验证。其目标是打造一个AI原生EDA平台，逐步将芯片设计流程中依赖人力经验的环节自动化。这条路没有捷径，论芯已迈出第一步，用实际成果证明了自身价值。