https://douyixuan.github.io/tags/chip-verification/Recent content in Chip-Verification on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usMon, 12 Oct 2026 12:09:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-12/Mon, 12 Oct 2026 12:09:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-12/BTTF 把波形转为 SQLite，再以多 Agent 完成查询、断言检查和 RTL 定位；95.33% 的成绩证明了结构化接口的价值，却不足以单独证明开放式根因调试已经解决。