FIFO 设计评审清单：从指针到复位的 20 项评审点与通过判据
专题导航：异步FIFO设计全景。前置要求：已读支柱页、FIFO 指针绕回与扩展位、异步FIFO 满空信号与格雷码跨时钟域原理，熟悉格雷码两级打拍、保守满空与扩展位指针的基本口径。 上一篇：FIFO 复用与 IP 化（待发布） ｜ 下一篇：FIFO 设计复盘（待发布）。 读序说明：本篇是工程化段的评审工具篇，把前序各篇结论翻译成可逐条打勾的检查项，每项固定三栏：查什么、错误长什么样、通过判据。
本文要回答的问题
- 一次正式的 FIFO 设计评审，到底要覆盖哪些点，按什么顺序过才不漏项？
- 每个评审点查 RTL 的哪一行、哪份约束或哪条仿真证据，才算查到位而不是走形式？
- 满空判定、格雷码同步、复位这些高频翻车点，在代码里错误长什么样？
- 评审发现的问题怎么分诊，哪些是当场否决的致命项，哪些可以带条件放行？
这张分区卡是评审会的议程地图：五组按顺序过，前一组不过不进下一组——红组（指针与满空）和蓝组（跨时钟域）是否决项集中区，历史上 FIFO 的数据损坏事故几乎全部出自这两组；紫、橙、绿三组决定设计能不能在真实工程里落地和签收。每组四项在下文都有一张三栏表承接，卡里只放议程索引，判据细节以表格为准。
一、指针与满空（第 1–4 项）
这一组是 FIFO 的账本，也是异步FIFO 满空信号反复强调的安全底线：满空误差只允许虚报、不允许漏报，因为漏报的代价是覆盖未读数据或读出垃圾，不可恢复。评审时直接对着指针寄存器和满空比较式逐行核。
| # | 查什么 | 典型错误表现 | 通过判据 |
|---|---|---|---|
| 1 | 指针位宽是否比 RAM 地址宽 1 位扩展位 | 绕回一圈后满与空无法区分，FIFO 永远报空或提前报满 | 指针为 AW+1 位，扩展位参与格雷码编码与比较，地址只取低 AW 位 |
| 2 | 满判定是否为格雷码高两位取反、空判定是否完全相等 | 写满后第 N+1 笔被接受、旧数据被覆盖，或空标志永不拉低 | 比较式与标准式逐字一致：满看高两位取反其余相同，空为全相等 |
| 3 | 误差方向是否结构上只能保守 | 随机溢出/读空，且随两侧频率比变化而改变出现概率 | 跨域值非旧即新，仿真中溢出、读空、数据错配三个计数恒为 0 |
| 4 | 同拍读写的门控与更新次序 | 满时写被静默接受、空时读吐出上一笔旧数据 | 内部有 winc && !wfull、rinc && !rempty 门控，同拍先读后写，深度 N 连写 N+1 笔时末笔被拒且已存数据完好 |
二、跨时钟域与亚稳态（第 5–8 项）
这一组管的是信号物理上能不能安全穿过时钟边界。格雷码跨时钟域原理与亚稳态 MTBF已经证明：格雷码解决多位跳变，两级打拍解决单 bit 亚稳，两者缺一不可，且综合约束必须承认这些路径是异步的。
| # | 查什么 | 典型错误表现 | 通过判据 |
|---|---|---|---|
| 5 | 跨域边界传递的是否为指针的格雷码形式 | 多位同翻时采到混合态，满空随机误判，换频率比现象就变 | 跨模块/跨域端口只有 wgray、rgray，二进制指针不出本侧时钟域 |
| 6 | 每条跨域指针是否完整两级触发器打拍 | 有人为省面积「优化」掉一级，MTBF 掉约十个数量级 | 两级寄存器串联，级间无组合逻辑，无任何旁路或合并写法 |
| 7 | 是否按真实工况做过 MTBF 预算 | 高频设计默认两级，评审问起拿不出失效率估算 | 按工艺库 T0、τ 与实际频率算过 MTBF 并达标；GHz 或功能安全场景上三级的，延迟与 almost 阈值重算留有记录 |
| 8 | 同步器路径的时序约束是否齐全 | STA 把跨域路径当同步路径硬收，或漏约束报出大量假违例 | 约束文件对两个异步时钟域声明异步关系、对同步器设 false path，时序报告中该路径不参与建立时间判决 |
三、复位与初始化（第 9–12 项）
复位问题的特征是冷启动偶发、热复位正常，仿真里最难稳定复现，却在现场以首字错误的形式出现。常见坑点排查的复位错开实测表明，问题根源几乎都是两侧复位时长不一致加上异步释放，评审要把复位树和初态当作独立一组专门过。
| # | 查什么 | 典型错误表现 | 通过判据 |
|---|---|---|---|
| 9 | 读写两侧是否各有独立复位、各随本侧时钟 | 两侧共用一个全局异步复位，释放窗口内同步链采到非法值 | wrst_n、rrst_n 分域，同步链在复位期输出清零，上电初态为空 |
| 10 | 是否采用异步复位、同步释放 | 冷启动偶发 first-word 错误，重跑又正常 | 释放沿经本侧时钟同步后再进复位树，两侧释放时刻允许错开 |
| 11 | 上电初态是否不依赖仿真专用写法 | 仿真全过、综合上板不工作，RAM 初态不确定 | RTL 不使用 initial 给存储数组赋初值，empty=1、full=0、指针归零由复位逻辑给出 |
| 12 | 复位窗口内的接口契约是否写明并验证 | 读侧复位期间写入一笔，释放后 empty 仍为 1 的假空 | 规格写明复位期请求被忽略还是缓存，testbench 含两侧复位错开用例并通过 |
四、数据通路与参数化（第 13–16 项）
这一组的问题不一定立刻坏数据，但会在面积、时序和复用上持续付息。深度、存储选型、读模式与位宽比率都是参数化决策，评审要确认每个参数的选择有依据，而不是从别的项目原样拷来。
| # | 查什么 | 典型错误表现 | 通过判据 |
|---|---|---|---|
| 13 | 深度是否取 2 的幂 | 深度 12 之类引入显式取模比较，综合面积异常、满空边界出错 | DEPTH=2^N，指针自然回卷无需取模；容量不够就加深一档 |
| 14 | 存储选型与读出延迟是否匹配读模式 | 选 BRAM 后按分布式 RAM 的零延迟假设写读出逻辑，时序全错 | BRAM/LUTRAM 选型与 FWFT 与标准读模式口径一致，读出 latency 写进规格并有网表后仿对照 |
| 15 | 读模式语义与空读行为是否明确 | 空 FIFO 发起读得到上一笔旧数据，下游误当新数处理 | 规格注明 FWFT 还是标准模式，读口有 rinc && !rempty 门控，空读行为与契约一致 |
| 16 | 非对称位宽是否限定 2 幂比率、统一窄侧记账 | 3:2、5:4 比率逼出相位计数器与非对齐写使能，验证组合爆炸 | 比率仅 2/4/8/16，指针与阈值统一按窄侧 entry 换算，口径与非对称位宽 FIFO一致 |
五、验证与工程化（第 17–20 项）
前四组审设计本身，这一组审设计被证明的程度。FIFO 的 bug 多属「幸福路径全过、边界翻车」，评审不能只看一条 PASS，要查激励是否覆盖坑点、签收是否基于网表而非行为模型。
| # | 查什么 | 典型错误表现 | 通过判据 |
|---|---|---|---|
| 17 | almost-full/empty 阈值提前量是否覆盖同步欠账 | 阈值小于三拍延迟折算拍数，临界反压晚到、顶到真满丢数 | 按「三拍 × 速率比 + 1~2 拍裕量」计算并留档，方法同 almost-full 阈值设计 |
| 18 | 回归用例是否覆盖七类高频坑 | 只有连续写读的幸福路径，溢出、复位错开零覆盖 | 写满、读空、随机速率差、上游无视 full、两侧复位错开等用例齐全并纳入回归 |
| 19 | 是否有软件参考模型与自检，而非纯人工看波形 | PASS 靠肉眼判读，边界错误在长回归里漏网 | testbench 内置参考队列逐拍比对，自检打印 PASS/FAIL，三类安全性计数可核对 |
| 20 | 综合后是否做网表后仿与时序签收 | 行为仿真通过即签收，上板后 BRAM 延迟差异导致失效 | 综合网表后仿与行为仿真结果一致，STA 无未约束路径，资源与 fmax 对照综合资源实测同档位数据 |
六、评审会怎么开：分诊与收口
20 项查完后，问题不能混成一张「待修改」清单，要按后果分诊，否则评审会容易在风格上耗一小时，却放过致命项。
颜色即分诊规则：灰色是输入，蓝色是检查动作；红色致命项对应第一、二、三组的硬伤，结论只能是否决、修复后重审；橙色返工项允许带修改计划离场，证据补齐即可；绿色观察项不阻塞签收。所有问题单在紫色收口节点登记进回归库，确保同一个坑不会在第二个项目里重开一次评审。
这一篇在知识体系里的位置
本篇是异步 FIFO 专题工程化段的评审工具篇，本身不提出新机制，而是把支柱页异步FIFO设计全景的设计路径与各子页结论压成检查项：第 1–4 项承接指针绕回与扩展位与满空语义，第 5–8 项承接格雷码原理与亚稳态 MTBF，第 9–12 项对应常见坑点排查的复位章节，第 13–16 项汇总FWFT 读模式、阈值设计与非对称位宽的参数口径。评审中任何一项判据存疑，都应回到对应子页看机制推导，而不是在会上凭经验争论。
总结
FIFO 设计评审清单的核心是把「感觉没问题」换成「逐条有判据」：20 项按指针与满空、跨时钟域与亚稳态、复位与初始化、数据通路与参数化、验证与工程化五组推进，每项都回答查什么、错误长什么样、什么证据算通过。其中满空漏报、同步链缺级、复位异步释放是当场否决的致命项，参数依据、接口契约与回归覆盖是返工项，风格与优化建议只作观察记录。评审结论必须落到问题单与回归库闭环，让这份清单同时成为下次设计的前置约束。