共计 77 篇文章

---

2026

07-23

Yosys 学习笔记（五）：FSM 与 Memory 如何变成状态表和寄存器阵列

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

05-11

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

05-10

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

05-09

CoolDA 设计仿真（三）：BSP、runtime 与 tile 调度

05-08

CoolDA 设计仿真（二）：APB 外设与 4x4 INT8 矩阵乘核