RTL/CDC/FIFO 真机实验枢纽：14 篇实验文的路由导读
更新时间：2026-10-25。本文是「集成电路大类 · 芯片设计」实验系列的枢纽导读页。芯片设计板块里有一批「理论篇」——比如 跨时钟域 CDC 基础、多 bit CDC：异步 FIFO 与 Gray 码指针设计、FIFO 深度计算与设计、三个最常见基础模块：FIFO、仲裁器、握手——它们回答「为什么这样设计」。但理论读完不等于会做：电路写出来对不对、公式信不信得过、工具输出的数字怎么读，只有真跑一遍才知道。围绕这些理论，我们已经积累了 14 篇带真实仿真/综合日志的实验文。这一篇不教你任何新电路，只做一件事：把这 14 篇按主题编成路由，让你知道「我想验证 X，该去哪一篇，它到底测出了什么数字」。
本文要回答的问题
- 这 14 篇实验文各自验证了哪个主题，证明了什么结论？
- 每篇的关键实测数字是什么——它凭什么说「实测」而不是「示意」？
- 实验文和理论篇怎么搭配读，先读哪篇后跑哪篇？
- 只想花一小时挑实验做，按什么顺序最值？
先给一张全局地图，把 14 篇实验文按五个主题分组，并标出它们与四篇理论页的对应关系：
读这张图抓两条线：横向上，14 篇实验文按「验证什么」分成五组——CDC 同步组管跨时钟域，FIFO 组管缓冲与深度，握手仲裁组管数据流接口，编码门控组管综合层面写得不一样会有什么差别，工具链组管仿真综合之外的工程能力；纵向上，虚线以上是四篇理论页，箭头表示「这篇理论是下面那组实验的前置读物」。理论讲为什么，实验做出来是什么样——导读的意义就是把这两层对上号，别让任何一篇实验文被当成孤立文章读。
一、CDC 同步组：跨时钟域的三次实证
CDC（跨时钟域）是理论最容易「听懂了但没感觉」的领域——亚稳态概率低、翻车现场罕见，不亲手造一次很难建立直觉。本组三篇实验从单 bit 到多 bit 再到完整异步 FIFO，把跨域问题逐层做实。
| 实验页 | 它证明了什么 | 关键实测数字 |
|---|---|---|
| 两级触发器同步器：打两拍原理与亚稳态仿真实测 | 单 bit 异步信号打两拍后，输出在最坏 3 拍内稳定跟随 | 5 次定向跳变、0 次跟随失败 |
| 多比特跨时钟域翻车实证：为什么不能直接打两拍 | 多 bit 总线逐位打两拍会采到新旧混搭的非法值，格雷码路径在同一激励下零非法 | 111 次采样，直接路径翻车 4 次、格雷码路径 0 次 |
| 异步 FIFO 的 cocotb 验证实测 | 格雷码指针异步 FIFO 在双时钟随机读写下空满边界与数据完整性都对 | TESTS=2 PASS=2，200 笔随机背靠背读写 |
三篇是一条递进链：先确认「打两拍对单 bit 够用」，再亲手翻车一次「多 bit 直接打两拍不够用」，最后验证「标准答案异步 FIFO 真的对」。理论侧的对应读物是 跨时钟域 CDC 基础 与 多 bit CDC：异步 FIFO 与 Gray 码指针设计——理论页给机理与 MTBF 量级，实验页给「在仿真里真造出来」的现场。
二、FIFO 组：从写到对到算对深度
FIFO 组的定位是「把 FIFO 这件事从头到尾做穿」：先写对一份同步 FIFO，再回答「深度配小了会怎样」。
| 实验页 | 它证明了什么 | 关键实测数字 |
|---|---|---|
| 同步 FIFO Verilog 实现：iverilog 回归实测 | 计数法空满判断的同步 FIFO 经三阶段回归（填满/排空/随机压力）零错误 | 148 次传输、0 错误、深度 8 |
| 异步 FIFO 深度计算实测：突发长度与读写速率比 | 深度公式不是摆设：满足公式的深度 16 零丢数，砍到 4 立即溢出 | 深度 16 零丢数；深度 4 丢 9 个数据 |
第二篇的读法值得点一句：它不是「验证 FIFO」，而是反证公式——同一突发流量、只改深度参数，让丢数日志证明理论页 FIFO 深度计算与设计 里那行公式的每一项都不是白写的。怀疑公式的人，应该先看这篇再回去读公式推导。
三、握手仲裁组：数据流接口的行为实测
握手与仲裁是 SoC 里复用率最高的接口模式，理论集中在 三个最常见基础模块：FIFO、仲裁器、握手。本组三篇把「规则」变成「数字」。
| 实验页 | 它证明了什么 | 关键实测数字 |
|---|---|---|
| valid-ready 握手与反压实测 | 一级弹性缓冲在 40% 随机反压下不丢不重，吞吐损失可量化 | 200 项传输 0 错误，44 拍反压、总 344 拍 |
| 固定优先级与轮转仲裁器对比实验 | 同激励 500 拍下，固定优先级饿死低优先级、轮转摊平授权 | 固定优先级 0 号独占 461 次、3 号 0 次；轮转四方 122~127 次 |
| AXI-Lite 从机回归实测 | 五通道握手加地址解码的自检回归，含越界 SLVERR | 6 项检查全 ok，AXI-LITE SELFCHECK PASS |
仲裁器那篇的对照设计是全套实验文里方法论最干净的一篇：两个仲裁器实例化在同一个 testbench 里、灌同一份随机激励，排除了「激励不同所以结果不同」的借口，461 比 0 的分布差异只能归因于策略本身。valid-ready 那篇的价值则在波形：44 拍反压期间「valid 不撤、数据不变」的纪律是一拍一拍数出来的，不是背出来的。
四、编码与门控组：综合器眼里的写法差异
这一组回答的是「同样功能、不同写法，综合出来差多少」——这类问题看 RTL 是看不出答案的，必须过综合器看 stat 报告。
| 实验页 | 它证明了什么 | 关键实测数字 |
|---|---|---|
| 状态机编码风格实测：binary/one-hot/gray | 同一台四状态 FSM 三种编码的综合资源差异，及 gray 被 yosys 0.9 静默降级 | binary 10 单元 / one-hot 13 单元；DFF 3 vs 5 |
| 时钟门控 RTL 写法对照 | 使能寄存器与门控时钟两种等价写法综合后面积差近半 | 16 单元 vs 9 单元，省掉 8 个 MUX 只花 1 个 AND |
| 寄存器映射表自动化 | 一份 Markdown 表作为单一事实源，同时生成 RTL 与 C 头文件并编译通过 | 60 行脚本，iverilog 消费编译通过 |
FSM 那篇还藏着一个工具行为坑：yosys 0.9 不认识 gray 编码，日志里明说「unknown encoding gray, using auto instead」后静默落地成 one-hot——不看综合日志，你永远以为 gray 生效了。这正是「实验文」区别于「理论页」的地方：理论告诉你 gray 相邻状态只翻一位，实验告诉你手上的工具根本没按 gray 走。
五、工具链组：仿真之外的工程能力
最后一组不验证电路，验证「你会不会用工具」——lint、脚本、后端报告，是日常工程里比写 RTL 更占时间的部分。
| 实验页 | 它证明了什么 | 关键实测数字 |
|---|---|---|
| Verilog lint 高频告警矩阵实测 | 九类高频告警各造最小案例，全部被 verilator --lint-only -Wall 按预期触发 | 9/9 触发，采集日志 195 行 |
| EDA TCL 脚本入门 | 读设计、proc、select、rename、synth、write_verilog 写成四个 .ys 脚本逐条实跑 | 四条脚本全量输出可核对 |
| OpenLane 小模块全流程实跑：报告逐项解读 | 小计数器在 sky130A 下从 RTL 到 GDS 全流程跑通，三类报告关键行逐项定位 | 42 步 PASS，布线后 0 条 DRC 违规 |
lint 那篇的副产物值得知道：每个造错案例 verilator 退出码都是 1，这意味着 lint 不需要解析输出文本就能直接当 CI 门禁用——知道这一点，比记住任何一条告警的含义都更早用得上。
六、学习路径建议：先理论，再实验，按这条线走
14 篇不必全读。按你的处境选路径：
- 刚入门、还没写过 FIFO：先读 三个最常见基础模块，然后按顺序跑 同步 FIFO 回归 → valid-ready 反压 → 仲裁器对照。这三篇构成数据流设计的最小闭环：缓冲、接口、仲裁。
- 要碰跨时钟域：先读 CDC 基础 与 异步 FIFO 理论，再按「两级同步器 → 多比特翻车 → 异步 FIFO cocotb 验证」递进，最后用 深度反证 收口。
- 要交付工程、关心质量：lint 告警矩阵 和 寄存器表自动化 投入产出比最高，各一小时，立刻能搬进日常流程。
- 要碰后端或面试综合题：FSM 编码对照、时钟门控对照、TCL 脚本、OpenLane 报告导读 四篇连读，从写法差异一路看到 GDS 报告。
所有实验文的代码都在公开仓库可下载，仿真日志原样保留在各篇的 termshot 实录与原始记录里——任何一篇的结论你都可以本地复跑核对，不信就重跑。
这一篇在知识体系里的位置
本页是芯片设计板块实验系列的路由层：向上，它依赖四篇理论页——CDC 基础、异步 FIFO 与 Gray 码指针、FIFO 深度计算、基础模块三件套——提供「为什么」；向下，它把 14 篇实验文按 CDC 同步、FIFO、握手仲裁、编码门控、工具链五组编目，每组附实测数字供快速决策。后续新增的实验文会先编入本页对应分组再发布，本页保持「当前最全的实验清单」这一职责。
一句话总结
理论页讲为什么、实验页做出来给你看：14 篇 RTL/CDC/FIFO 实验文按五个主题分组路由——CDC 组递进实证「打两拍够用、多比特不够、异步 FIFO 才对」，FIFO 组从写对到算对深度，握手仲裁组把规则变成 461:0 和 44 拍反压这样的数字，编码门控组让综合报告回答写法之争，工具链组管 lint、脚本与后端报告——按先理论后实验的次序读，每一篇的结论都有可下载复跑的日志背书。