Specification on 兜忆轩 | Cedric's Compiler Notes

Specification on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/tags/specification/Recent content in Specification on 兜忆轩 | Cedric's Compiler Notes兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usThu, 17 Sep 2026 12:03:00 +0800004 · RTL 与断言来自同一份规格，形式化证明了什么？https://douyixuan.github.io/posts/ai-silicon-papers/2026-09-17/Thu, 17 Sep 2026 12:03:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-09-17/一条从受控自然语言规格同时生成 RTL 与形式化断言的工作流，以及它尚未消除的共同误解与证据边界。