https://douyixuan.github.io/tags/hardware-verification/Recent content in Hardware-Verification on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usTue, 06 Oct 2026 12:36:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-06/Tue, 06 Oct 2026 12:36:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-06/FIXME 用 180 道题覆盖规格理解、参考模型、测试用例、testbench、断言和调试；它拓宽了 LLM 硬件验证评测，却也留下一个概念边界：流程覆盖不等于端到端执行。https://douyixuan.github.io/posts/ai-silicon-papers/2026-09-22/Tue, 22 Sep 2026 12:18:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-09-22/DEVICES 将数据手册、连接关系和领域规则拆成可追踪的工程属性与确定性脚本，显著提升兼容性判断准确率；但信任并未消失，而是转移到属性抽取、规则完备性和人工真值。