C. Yu, C. Deng, N. Pinckney, et al.
arXiv:2606.28279 · 2026-06-26T17:21:06Z
Yu et al. introduce HORIZON, a self-evolving agent framework that packages hardware-design tasks into repositories with domain knowledge, executable evaluators, acceptance predicates, and git/runtime policy. The system reports 100% benchmark completion across ChipBench, RTLLM, Verilog-Eval, and nine CVDP categories. The authors are explicit that these are controlled proxies, so the result is best read as progress in evaluation harnesses and agent workflow, not proof that autonomous chip design is solved.
Yu等人提出HORIZON,这是一个自演化agent框架,把硬件设计任务封装为包含领域知识、可执行评测器、验收条件以及git/运行时策略的代码仓库。系统在ChipBench、RTLLM、Verilog-Eval和9类CVDP任务上报告100%基准完成率。作者明确指出这些仍是受控代理任务,因此应将其理解为评测框架和agent工作流的进展,而不是自主芯片设计已被解决的证明。
Z. Zhao, H. Lang, Z. Xiao, et al.
arXiv:2606.28409 · 2026-06-25T02:55:02Z
Zhao et al. cast C-to-HLS-C conversion as a closed-loop generation, verification, diagnosis, and repair problem around Xilinx Vitis. Their workflow uses a four-stage verifier, Progressive Mismatch Localization Chain, AST slicing, dual-trace instrumentation, and a typed evidence RAG system instead of handing raw logs directly to an LLM. The result matters for EDA because HLS productivity depends less on first-shot code generation than on reproducible repair through compile, CSim, synthesis, and CoSim stages.
Zhao等人将C到HLS-C转换定义为围绕Xilinx Vitis的生成、验证、诊断和修复闭环问题。其流程使用四阶段验证器、Progressive Mismatch Localization Chain、AST切片、双轨迹插桩和类型化证据RAG系统,而不是直接把原始日志交给LLM。该结果对EDA有意义,因为HLS生产力并不主要取决于一次性生成代码,而取决于能否在编译、CSim、综合和CoSim阶段可复现地修复问题。