共计 304 篇文章

---

2026

07-20

Yosys 学习笔记（四）：RTLIL 中 z 信号与三态门的处理

07-14

Yosys 学习笔记（三）：flatten 与 opt 如何联手把整个设计化成常量

07-13

Yosys 学习笔记（二）：从 process 到 MUX 和 ADFFE，读懂 proc 与 opt

07-12

Yosys 学习笔记（一）：从 Verilog 到 RTLIL，第一次看懂逻辑综合

07-03

SSD 为什么会卡：从 NAND、控制器到固件 Bug

06-30

GitHub 安全机制解析（三）：Actions、Release 与自动发布流水线的安全边界

06-29

GitHub 安全机制解析（二）：PAT、GITHUB_TOKEN 与 GitHub App 到底代表谁

06-28

GitHub 安全机制解析（一）：用户权限不是一句 member 能说清的

05-11

CoolDA 设计仿真（五）：烟测不是跑命令，而是验证契约

05-10

CoolDA 设计仿真（四）：xOS Shell 与 Verilator 交互