回到未来：重新思考芯片设计中Agentic系统的 EDA 基础设施验证

现代人工智能前所未有的计算规模取决于复杂的数十亿晶体管片上系统，但验证这些芯片的工作流程仍然顽固地依靠手动。尽管大语言模型 (LLM) 已迅速进入电子设计自动化 (EDA) 领域，但大约 74.6% 的现有研究目标是静态寄存器传输级 (RTL) 代码生成，而后仿真验证和交互式波形调试基本上未受影响。我们引入了 Back-to-the-Future (BTTF)，这是一个端到端Agentic框架，可以弥补这一基础设施差距。 BTTF 将大量非结构化模拟转储提取到规范化的关系 SQLite 数据库中，并将其与协作式多智能体编排引擎相结合，该引擎将自然语言验证查询转换为模式感知 SQL，同时将信号异常与版本化 RTL 存储库关联起来。在 150 个查询基准测试中，BTTF 获得了 95.33% 的执行准确率，为实现自主 EDA 验证绘制了一条实用路径。