知识卡片：回到未来：重新思考芯片设计验证中面向智能体系统的 EDA 基础设施

一句话结论

待核实：若候选摘要准确，该论文提出 BTTF（Back-to-the-Future）框架，尝试把芯片后仿真验证中的非结构化仿真数据、波形调试与 RTL 版本信息整合进多智能体系统，以补齐 LLM 在 EDA 中偏重静态 RTL 生成、较少覆盖后仿真验证的基础设施缺口。

事件概述或研究问题

• 英文标题：Back to the Future: Rethinking EDA Infrastructure for Agentic Systems in Chip Design Verification
• 原始来源：https://arxiv.org/abs/2610.06790v1
• Track：academic
• Topics：foundation-model
• 研究问题（据候选摘要，待核实）：现代 AI 依赖复杂、数十亿晶体管的 SoC，但芯片验证工作流仍高度依赖人工；LLM 已进入 EDA，但候选摘要称约 74.6% 的现有研究集中在静态 RTL 代码生成，后仿真验证和交互式波形调试覆盖不足。
• 材料状态：未能抓取论文正文；以下方法、结果和产业判断除标题、URL、Track、Topics 外，均需以正文为准，标注“待核实”。

方法/产品要点

• 候选摘要称，BTTF 是一个端到端 agentic framework。待核实。
• 将大规模、非结构化仿真转储归一化为关系型 SQLite 数据库。待核实。
• 结合协作式多智能体编排引擎，将自然语言验证查询翻译为 schema-aware SQL。待核实。
• 将信号异常与带版本的 RTL 仓库关联。待核实。
• 目标场景包括后仿真验证、交互式波形调试和自主 EDA 验证。待核实。

主要结果或产业意义

• 候选摘要称，在 150-query benchmark 上达到 95.33% execution accuracy。待核实：需查正文确认基准构成、指标定义、基线、数据来源和是否封闭域。
• 若该结果成立，产业意义在于：把验证数据从非结构化仿真输出转为可查询关系数据，并让 LLM/agent 通过 SQL 与 RTL 版本上下文交互，可能降低人工波形调试和验证查询成本。待核实。
• 对 EDA 工具链的潜在启示是，验证智能体不只生成代码，还可能需要新的数据基础设施层。待核实。

为什么重要

• 与既有卡片“LLM在EDA前端设计中的挑战与机遇”相比，本条增量不是泛谈 LLM 作为 EDA 统一接口，而是聚焦芯片验证后段：仿真数据规范化、自然语言到 SQL、波形异常关联、RTL 版本溯源和多智能体编排。待核实。
• 如果 BTTF 的结果可复现，它提供了从“代码生成助手”走向“验证流程智能体”的一条路径。待核实。
• 该方向可能补足 LLM 在 EDA 中“前端热、后端验证冷”的研究结构。待核实。

局限与不确定性

• 源材料未抓取正文，无法确认论文作者、发表状态、实验细节、数据来源、基线、消融、失败案例、泛化性和安全边界。
• 95.33% execution accuracy 的定义、数据集、是否依赖人工 schema、是否覆盖真实工业规模芯片，均待核实。
• 74.6% 的统计口径、样本范围、是否来自特定文献调查，待核实。
• 英文关键词：foundation-model（来自 Topics；论文官方关键词待核实）。
• 可访问性、论文真实性、版本状态和同行评审状态均待核实。

可用于图书/PPT/简报的角度

• 从 RTL 代码生成到后仿真验证：LLM + EDA 的下一段基础设施缺口。
• 仿真转储 → SQLite → agent SQL → RTL 版本关联：一种验证智能体的数据管线设想。待核实。
• 多智能体协作在 EDA 验证中的角色：查询翻译、信号异常定位、版本溯源。待核实。
• 评估指标从“代码生成准确率”转向“验证查询执行准确率/调试闭环效率”。待核实。
• 与已有 EDA 前端 LLM 卡片形成“前段设计 vs 后段验证”的对照。

原始材料

• 英文标题：Back to the Future: Rethinking EDA Infrastructure for Agentic Systems in Chip Design Verification
• 原始来源：https://arxiv.org/abs/2610.06790v1
• Track：academic
• Topics：foundation-model
• 英文关键词：foundation-model（来自 Topics；论文官方关键词待核实）
• 材料状态：未能抓取正文；本卡片仅基于已知元数据与候选摘要草拟，除明确可核验的标题、URL、Track、Topics 外均标“待核实”。