043 · 最好的下一份 RTL，为什么取决于已经生成了什么？
把评价对象从单个电路换成候选集合，奖励也随历史改变。这篇多目标强化学习论文追问：生成器应该反复找到高分答案，还是补上尚未覆盖的设计取舍？
EDA
042 · 覆盖率满了、数据检查也过了，为何仍未验证生成测试？
一篇小规模覆盖率闭环研究坦率暴露了证据缺口：生成测试命中目标，独立 scoreboard 检查的却是另一套刺激。两个真实结果为何不能自动组成更强结论？
039 · 电路通过验证，为什么研究主张仍可能不成立？
八项 EDA Agent 研究尝试保留了成功与失败：正确电路不一定来自通用优化算法，精确求解代理目标也不一定改善物理结果。论文追问，当探索变便宜，什么证据才足以支持研究贡献？
027 · 波形变成 SQL，Agent 就会调试芯片了吗？
BTTF 把波形转为 SQLite，再以多 Agent 完成查询、断言检查和 RTL 定位；95.33% 的成绩证明了结构化接口的价值，却不足以单独证明开放式根因调试已经解决。
026 · 结构正确、仿真接近，就算会设计模拟电路了吗？
SGAnalog 用流片版本锁定的开源模拟电路，同时评测原理图转网表与器件尺寸选择；它让结构和仿真结果可执行地受检，也揭示了测试平台、参考设计与拒答策略如何限定‘会设计’的含义。
024 · 分数更低，就更接近真实芯片设计吗？
ChipBench 用更长、更复杂的 RTL 模块，以及调试和参考模型生成任务，让先进模型的成绩显著下降；但 benchmark 的难度、真实性与结论外推范围仍需分别判断。
020 · 在测试题上继续训练，还算测试吗？
Alpha-RTL 在每道 RTL 优化题上用 testbench 与 PPA 反馈在线更新 Qwen3-8B；结果显著优于冻结策略的 Agent，但也把评测对象从静态模型能力改成了带逐题训练预算的完整优化系统。
010 · 能综合的 HLS 样本，就算有效数据吗？
HLSFactory-Agent 从 26 个公开仓库抽取 271 个候选设计，其中 130 个通过 Vitis HLS 综合；这证明了自动抽取的可行性，也暴露出可综合性、功能正确性与数据价值之间的距离。
009 · 把数据手册变成脚本，验证就可信了吗？
DEVICES 将数据手册、连接关系和领域规则拆成可追踪的工程属性与确定性脚本，显著提升兼容性判断准确率；但信任并未消失，而是转移到属性抽取、规则完备性和人工真值。
004 · RTL 与断言来自同一份规格，形式化证明了什么？
一条从受控自然语言规格同时生成 RTL 与形式化断言的工作流，以及它尚未消除的共同误解与证据边界。