arXiv cs.AI· Je Yang, Ivan Lobov, Thomas Karpati·· 11 小时前AI 评分31
Back-to-the-Future(BTTF):为芯片设计验证的智能体系统重构 EDA 基础设施
Back to the Future: Rethinking EDA Infrastructure for Agentic Systems in Chip Design Verification
AI 导读
研究团队提出端到端智能体框架 Back-to-the-Future(BTTF),将非结构化仿真数据蒸馏为规范化 SQLite 关系数据库,并用多智能体编排引擎把自然语言验证查询转为 schema-aware SQL,同时关联信号异常与版本化 RTL 仓库。
正文 · AI 翻译
摘要:现代人工智能前所未有的计算规模依赖于复杂的、包含数十亿晶体管的片上系统,然而验证这些芯片的工作流程却仍然顽固地依赖人工。尽管大型语言模型(LLM)已迅速进入电子设计自动化(EDA)领域,但现有研究中约 74.6% 针对的是静态寄存器传输级(RTL)代码生成,仿真后验证和交互式波形调试基本未被触及。我们提出 Back-to-the-Future(BTTF),一个端到端的智能体框架,填补了这一基础设施空白。BTTF 将海量、非结构化的仿真转储提炼为规范化的关系型 SQLite 数据库,并搭配一个协作式多智能体编排引擎,该引擎可将自然语言验证查询转换为模式感知的 SQL,同时将信号异常与带版本的 RTL 仓库关联起来。在 150 条查询的基准测试中,BTTF 达到 95.33% 的执行准确率,为自主 EDA 验证开辟了一条切实可行的路径。
| 评论: | 第 40 届 NeurIPS'26 研讨会 AI for Chip Design |
| 学科: | 人工智能(cs.AI) |
| 引用为: | arXiv:2610.06790 [cs.AI] |
| (或 arXiv:2610.06790v2 [cs.AI] 用于此版本) | |
| https://doi.org/10.48550/arXiv.2610.06790 由 DataCite 颁发的 arXiv DOI |
提交历史
来自:Je Yang [查看邮箱]
[v1]
2026 年 10 月 5 日星期一 17:48:14 UTC(394 KB)
[v2]
2026 年 10 月 22 日星期四 20:12:37 UTC(394 KB)
来源:arXiv cs.AI · arxiv.org