004 · RTL 与断言来自同一份规格，形式化证明了什么？
一条从受控自然语言规格同时生成 RTL 与形式化断言的工作流，以及它尚未消除的共同误解与证据边界。
AI-for-Silicon
003 · AI Agent 真能走完 RTL-to-GDS 吗？
一项完整芯片设计流程评测：领域知识为何不足以保证成功，以及 Agent 的能力究竟属于模型还是整个执行系统。
002 · HLS-Eval：十次尝试拿到满分，意味着 AI 会设计硬件了吗？
读 HLS-Eval 的 Agent 评测论文：区分一次成功与多次采样成功，追问测试通过、可综合与硬件设计能力之间的距离。
001 · AI 开始设计芯片，工程师还需要哪些基本功？
一篇关于 AI 时代芯片设计基础、知识与判断力的观点论文：读懂作者论证，追问其假设与边界。附 alphaXiv 与三个思考问题。