论芯科技率先落地AI for EDA：文档解析提速25倍，捕获Respin级缺陷
论芯科技在真实产线中验证了其AI系统，能将芯片协议文档的读取与理解速度提升至资深专家的25倍。该系统成功识别出导致流片失败的Respin级Bug及百余条时序违例，并自动输出可执行的验证代码。其技术核心在于构建领域知识图谱结合大模型推理引擎，而非简单的RAG检索，旨在解决AI与EDA业务场景脱节的问题。
事件概述
在芯片设计流程中，验证环节长期依赖人工阅读数百页协议规范（Spec），效率低下且易遗漏关键细节，一旦出错将导致昂贵的流片失败（Respin）。论芯科技（Lunxin Technology）率先将其AI系统部署于客户真实产线，实现了从“读文档”到“生成验证代码”的全链路自动化，显著提升了验证效率与准确性。
核心事实与数据
- 效率提升：在客户实际验证任务中，系统完成速度达到资深工程师的25倍。
- 缺陷捕获：成功发现一个Respin级别的关键Bug（即会导致流片失败的严重缺陷），证明其对Spec的理解深度足以捕捉关键风险。
- 问题排查：在同一任务中，自动识别出超过100条传统流程需人工逐条排查的Timing违例（时序违规）。
- 落地情况：系统已在多家客户的真实项目中完成部署，非实验室概念验证。
技术架构：知识图谱 + 大模型引擎
论芯的技术路线区别于直接使用开源大模型挂载RAG（检索增强生成）的方案，其核心逻辑如下：
-
知识图谱打底：
- 系统自动解析Spec文档，构建适应不同协议和架构的动态知识图谱。
- 图谱不仅汇聚信息，还能自动识别文档内部的冲突和不一致，解决人类因记忆力和经验局限导致的遗漏问题。
- 针对跨章节、跨模块的复杂依赖关系，图谱能建立关联，替代人工交叉比对。
-
大模型做引擎：
- 基于知识图谱提供的结构化上下文，利用大语言模型作为推理引擎。
- 根据验证策略，自动生成下游产物，包括覆盖模型、测试平台及测试Pattern。
- 最终输出可直接执行的验证代码，打通从文档到代码的完整链路。
团队背景与行业洞察
- 创始人何卓论：拥有近十年AI与EDA交叉领域经验，横跨EDA工具开发、AI算法设计及芯片设计等多个角色。其核心判断是：AI for EDA的最大瓶颈并非模型能力不足，而是“懂方法论的人不懂业务，懂业务的人缺乏方法论”。
- 联合创始人兼CTO蒲渊：香港中文大学博士，连续获得三个EDA顶会最佳论文提名，专注于技术的工程化落地。
- 团队构成：核心团队兼具芯片领域知识与AI工程能力，AI中台及智能体负责人均来自AI行业一线，确保技术架构源于工程实践而非纯学术研究。
战略路径
论芯选择以验证（Verification）为切入点，先在最痛点场景中通过结果建立信任，随后逐步向AI原生EDA平台扩展。目标是覆盖芯片设计流程中所有依赖人力经验的环节，实现系统化与自动化。