https://douyixuan.github.io/tags/credible-compilation/Recent content in Credible-Compilation on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usSun, 04 Oct 2026 12:20:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-04/Sun, 04 Oct 2026 12:20:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-04/ACDC 以 Axon 为对象，分别测试已验证核心、可信检查、未验证文本接口与机器语义；实验说明形式证明能封闭一部分错误，却不能替代对规格、信任边界和拒绝行为的测试。