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

67 0 0

文章摘要

【关键词】 AI for EDA、验证自动化、知识图谱、AI原生平台、产线落地

当前芯片设计复杂度持续攀升，但关键验证环节中“读文档”这一传统人工步骤长期未被工具化，成为效率瓶颈。在流片前需工程师耗时数周至数月解析数百页协议规范，任何遗漏可能导致昂贵的respin——即流片失败与数月周期、数百万美元的归零。EDA工具虽在综合、布局布线、仿真等环节实现自动化替代，但在“读文档—定策略—写验证”这一核心链条上长期停滞。论芯科技率先突破，其系统可接收一份芯片协议文档，自动生成可用的验证代码，在真实客户项目中验证出三类关键成果：发现导致流片失败的respin级bug；识别超100条timing违例，显著减少人工排查负担；任务处理速度达资深专家25倍——这些均为实际工程环境中的实测数据。

论芯的成功源于创始团队深度嵌入产业一线的经历：创始人何卓论深耕AI与EDA交叉领域近十年，兼具工具开发、算法研发与芯片设计实战经验；联合创始人兼CTO蒲渊则在学术早期即取得多个EDA顶会最佳论文提名，并提前完成博士学业后迅速转向产品化实践。该组合实现了业务视角与技术纵深的有效衔接。团队构建了融合芯片领域知识与AI工程能力的混合型力量，其技术路线拒绝简单套用开源大模型加RAG检索方式，而选择以知识图谱为底层基础设施、大语言模型为推理引擎的双轮驱动模式。文档解析后形成动态适配不同协议结构的知识图谱，不仅能整合信息、识别内部冲突与不一致——这类问题常为人眼忽视——还支持跨文档逻辑关联分析，从而让系统精准理解时序要求、异常处理、模块依赖等分散于多章节的关键约束。

更关键的是，论芯将自身定位为能真正嵌入工程师工作流的工具，而非孤立AI模型。通过将从文档到覆盖模型、测试平台乃至具体test pattern的整条链路打通，构建起一条可执行的端到端验证流水线。其战略路径聚焦“最痛场景”，先在验证环节实现可量化结果，继而逐步拓展为AI原生EDA平台，以期最终覆盖从文档理解到设计各阶段高度依赖人力经验的节点，实现全流程的系统化与自动化升级。目前，论芯已成功部署于多家客户的实际项目，初步完成首个场景的验证闭环，标志着从实验室向量产产线迈出了坚实一步。

芯片设计的复杂度每两年翻一番，但有一个环节的效率几乎没变过——读文档。
论芯的系统做到拿到一份芯片协议文档，自动输出可用的验证代码。
系统发现一个respin级别的bug，这意味着对spec的理解深度已经足以捕捉到那些会导致流片失败的关键缺陷；在同样任务中识别出超过100条pattern的timing违例；整个任务完成速度达到资深专家的25倍。
知识图谱不是人为定义的静态模板，而是能适应不同协议、不同架构的文档结构，能自动识别文档内部的冲突和不一致，而这些恰恰是人工阅读中最容易遗漏的。
论芯选择的路径很明确：先在最痛的场景里证明自己，用结果建立信任，再向平台扩展。