跨时钟域数据传输：异步FIFO中的格雷码应用与Verilog实现

1. 异步FIFO跨时钟域通信的“安全缓冲区”如果你做过数字电路设计尤其是涉及多个时钟模块的系统那你肯定遇到过这个头疼的问题数据从一个时钟域传到另一个时钟域怎么就出错了呢我刚开始做项目的时候就因为这个问题调试了好几个通宵明明仿真都对上板子就是数据错乱。后来才明白这背后是“亚稳态”这个幽灵在作祟。而异步FIFO就是工程师们设计出来专门对付这个幽灵的“安全缓冲区”。简单来说异步FIFO就是一个先入先出的队列但它的“写”和“读”两端用的是完全独立、不同频率、甚至不同相位的时钟。想象一下你在用A手机的秒表计时同时用B手机的秒表计时两个秒表走得快慢还不一样你想把A记录的时间点准确地告诉B直接报数字很容易出错因为B可能在你报数的瞬间刚好在“眨眼”时钟沿跳变。异步FIFO要解决的就是这个“跨时钟域”报数的问题。它的核心价值在于“解耦”。生产数据的一方写时钟域可以按照自己的节奏拼命生产消费数据的一方读时钟域也可以按照自己的速度从容消费。两者之间通过这个FIFO缓冲区连接生产者只管往里面放消费者只管从里面拿互不干扰。这在实际系统中太常见了比如高速ADC采集的数据要送给低速的处理器处理或者一个芯片内不同功能模块如CPU核心和DDR控制器之间的数据交换。但是实现这个“安全缓冲区”最大的技术挑战就是如何让写端知道缓冲区快满了避免覆盖未读数据以及让读端知道缓冲区空了避免读到无效数据。这就需要交换“写指针”和“读指针”信息。而指针是二进制计数值在跨时钟域传输多位二进制信号时如果位变化不同步就极易产生毛刺和亚稳态导致判断完全错误。这就是为什么我们需要请出今天的主角——格雷码。它就像一个“安全信使”能极大降低指针在跨时钟域旅行时“变脸”的风险。2. 为什么是格雷码亚稳态的“拆弹专家”我们先来聊聊那个让人头疼的“亚稳态”。你可以把触发器想象成一个在时钟沿时刻“采样”数据的法官。理想情况下数据在采样窗口建立时间和保持时间内是稳定不变的法官能清晰无误地判决出是0还是1。但如果数据在这个关键窗口内变化了法官就懵了无法立即做出稳定判决输出会在0和1之间振荡一段时间最终稳定到一个不确定的值。这个状态就是亚稳态。更糟的是这个不确定的值会像瘟疫一样在后续电路中传播导致整个系统功能错误。当我们需要把一个多位二进制指针比如4位计数器从0111变到1000从一个时钟域同步到另一个时问题就来了。这4位不可能同时翻转总会有快有慢。在读取时钟域看来它可能捕捉到一个瞬态的、非法的中间值比如0111 - 1000的变化过程中可能被捕捉为1111或0000。这个非法值如果被用来判断FIFO的空满状态后果就是灾难性的要么该读的时候不读误判满要么该写的时候不写误判空甚至覆盖有效数据。这时候格雷码的价值就凸显出来了。格雷码是一种循环码它的核心特性是相邻的两个码字之间有且仅有一位二进制位发生变化。看下面这个对比十进制二进制格雷码00000001001001201001130110104100110510111161101017111100注意看从0到1二进制变化了1位000-001格雷码也变化了1位000-001。但从3到4二进制变化了3位011-100而格雷码只变化了1位010-110。在异步FIFO中指针通常是连续递增的这意味着每次指针变化对应的格雷码最多只有1位翻转。这个特性为什么是“拆弹专家”呢因为当我们将格雷码指针同步到另一个时钟域时即使发生了亚稳态也只会影响那一位正在变化的位。这一位可能被误判为0或1但这只会导致指针被误认为相邻的值比如从3的格雷码010被误同步为110即4。在FIFO的空满判断逻辑中指针差一个位置通常只会导致性能上稍微提前或延后报满/报空而绝不会产生像二进制指针那样跳变多个位置导致的灾难性误判如从3直接跳到7。这就把系统从“功能错误”的风险降级为“性能略有波动”的可接受范围可靠性得到了质的提升。2.1 二进制与格雷码的转换硬件实现很简单理解了为什么用格雷码接下来就是怎么用。我们需要在指针跨时钟域之前把它从二进制转换成格雷码在接收端如果需要用二进制值进行地址索引访问存储器则需要再转换回来。这两个转换的硬件实现非常简洁高效。二进制转格雷码规则就一句话——最高位保留其余每一位等于当前二进制位与其前一位的异或。 用Verilog表示就是assign gray_code (binary_code 1) ^ binary_code;比如二进制1101(13)最高位第3位保持为1。第2位1(二进制第3位) ^1(二进制第2位) 0。第1位1(二进制第2位) ^0(二进制第1位) 1。第0位0(二进制第1位) ^1(二进制第0位) 1。 所以格雷码是1011。你可以验证它和12的格雷码1010只有一位不同。格雷码转二进制稍微复杂一点但逻辑也很直接——二进制最高位等于格雷码最高位二进制其余每一位等于当前格雷码位与已计算出的上一位二进制值的异或。// 假设WIDTH4 always (*) begin binary_code[WIDTH-1] gray_code[WIDTH-1]; for (int iWIDTH-2; i0; ii-1) begin binary_code[i] gray_code[i] ^ binary_code[i1]; end end以格雷码1011为例二进制第3位 1。二进制第2位 0^11。二进制第1位 1^10。二进制第0位 1^01。 得到二进制1101转换正确。在实际的异步FIFO设计中我们通常只在需要访问存储器物理地址时才使用二进制指针因为存储器地址线是二进制的。而为了判断空满状态而进行跨时钟域传递的永远是格雷码指针。这就形成了一个经典的数据流本地时钟域生成二进制指针 - 转换为格雷码 - 同步到对方时钟域 - (可选)转换回二进制用于本地计算或判断。3. 空满标志生成指针比较的艺术与陷阱空满标志是异步FIFO的控制核心也是设计中最容易踩坑的地方。它的本质是比较写指针和读指针。但请注意这两个指针生活在不同的时钟域我们只能拿到经过同步后的对方指针的“过去镜像”。如何用这个“过去的信息”做出“现在的正确判断”需要一点技巧。基本原理FIFO空当读指针追上了写指针两者相等时意味着能读的数据都读完了缓冲区为空。FIFO满当写指针比读指针多绕了一圈又追上了读指针时意味着缓冲区满了。注意因为指针是循环的单纯相等是空所以需要额外信息来区分是“刚追上”空还是“套了一圈追上”满。为了区分空和满我们通常会将指针扩展一位。假设FIFO深度为N用log2(N)位指针就能寻址。我们增加一位最高位作为“绕回标志位”。这样指针的表示范围是0到2N-1。当指针在0到N-1范围内循环时最高位为0。当指针超过N-1再次从0开始时最高位翻转为1。 这样即使读写指针的低位相等通过比较最高位也能知道谁跑得更快、是否发生了绕回。3.1 方法一格雷码转二进制后比较这是一种比较直观的思路。在写时钟域我们同步过来的读指针格雷码(g_rptr_sync)先通过格雷码转二进制模块得到二进制的读指针(b_rptr_sync)。然后和本地的二进制写指针(b_wptr)进行比较。空判断在读时钟域进行// 读时钟域 rempty (b_wptr_sync b_rptr_next);这里b_wptr_sync是同步过来并转换后的二进制写指针b_rptr_next是本地即将更新的读指针。如果相等说明写指针没有超前缓冲区空。满判断在写时钟域进行// 写时钟域 wrap_around b_rptr_sync[PTR_WIDTH] ^ b_wptr[PTR_WIDTH]; // 比较最高位绕回位 wfull wrap_around (b_wptr[PTR_WIDTH-1:0] b_rptr_sync[PTR_WIDTH-1:0]); // 且低位相等如果两个指针的最高位不同说明写指针比读指针多绕了一圈。此时再判断低位相等则意味着写指针真的追上了读指针缓冲区满。这种方法逻辑清晰但缺点是需要额外的格雷码转二进制电路增加了一点面积和延迟。3.2 方法二直接使用格雷码比较更高效更巧妙、也是更常用的方法是直接比较格雷码指针。因为格雷码是循环码其大小关系不能像二进制那样直接比较。但我们可以利用格雷码在“满”状态时的特殊规律。对于深度为2^n的FIFO当FIFO为满时写指针的格雷码(g_wptr)和读指针的格雷码(g_rptr)满足以下关系以4位指针深度8为例最高两位相反。其余低位完全相同。例如假设读指针格雷码g_rptr 4b0100对应二进制4。当写指针比读指针快一圈多8个位置时写指针格雷码g_wptr应该是4b1100对应二进制12。你看g_wptr[3:2] 2b11g_rptr[3:2] 2b01最高两位相反g_wptr[1:0] 2b00g_rptr[1:0] 2b00低位相同。因此满判断可以写为// 写时钟域比较的是“下一个”写指针和“同步后”的读指针 assign wfull (g_wptr_next {~g_rptr_sync[PTR_WIDTH:PTR_WIDTH-1], g_rptr_sync[PTR_WIDTH-2:0]});这个表达式非常精炼它构造了一个值这个值是将同步过来的读指针格雷码的最高两位取反低位保持不变。如果下一个写指针的格雷码等于这个构造值说明即将“套圈追上”FIFO满。空判断则简单得多直接比较同步过来的写指针格雷码和下一个读指针格雷码是否相等即可// 读时钟域 assign rempty (g_wptr_sync g_rptr_next);方法二完全避免了格雷码到二进制的转换电路节省了资源是工业界更青睐的实现方式。但需要理解其背后的数学原理否则代码看起来会有点“魔术”的感觉。我建议你在第一次实现时可以把两种方法的代码都写出来仿真对比能加深理解。4. 手把手实现一个可综合的异步FIFO Verilog模块理论说了这么多是时候动动手了。下面我将拆解一个完整的、可综合的异步FIFO的Verilog实现。我会用方法二直接格雷码比较来生成空满标志。我们假设FIFO深度为8DEPTH8数据宽度为8位DATA_WIDTH8。指针宽度PTR_WIDTH $clog2(DEPTH) 3加上绕回位实际指针位宽为4。4.1 顶层模块连接一切的“总指挥”顶层模块负责实例化所有子模块并连接时钟、复位、数据和控制信号。它是系统的框架。module async_fifo_top #( parameter DEPTH 8, // FIFO深度 parameter DATA_WIDTH 8 // 数据位宽 )( // 写端口写时钟域 input wire wclk, input wire wrst_n, // 写复位低有效 input wire w_en, // 写使能 input wire [DATA_WIDTH-1:0] wdata, // 写数据 output wire full, // 满标志 // 读端口读时钟域 input wire rclk, input wire rrst_n, // 读复位低有效 input wire r_en, // 读使能 output wire [DATA_WIDTH-1:0] rdata, // 读数据 output wire empty // 空标志 ); localparam PTR_WIDTH $clog2(DEPTH); // 计算指针宽度本例为3 // 内部信号声明 wire [PTR_WIDTH:0] g_wptr, g_rptr; // 格雷码写/读指针本地 wire [PTR_WIDTH:0] g_wptr_sync, g_rptr_sync; // 同步后的格雷码指针 wire [PTR_WIDTH:0] b_wptr, b_rptr; // 二进制写/读指针用于存储器寻址 // 模块实例化 // 1. 同步器将指针同步到对方时钟域 sync_cell #(.WIDTH(PTR_WIDTH1)) sync_wptr2rd ( .clk(rclk), .rst_n(rrst_n), .d_in(g_wptr), .d_out(g_wptr_sync) ); sync_cell #(.WIDTH(PTR_WIDTH1)) sync_rptr2wr ( .clk(wclk), .rst_n(wrst_n), .d_in(g_rptr), .d_out(g_rptr_sync) ); // 2. 写指针与满标志生成模块写时钟域 wptr_full #(.PTR_WIDTH(PTR_WIDTH)) u_wptr_full ( .wclk(wclk), .wrst_n(wrst_n), .w_en(w_en), .g_rptr_sync(g_rptr_sync), // 同步过来的读指针格雷码 .b_wptr(b_wptr), // 输出给存储器的二进制写地址 .g_wptr(g_wptr), // 输出给同步器的格雷码写指针 .full(full) ); // 3. 读指针与空标志生成模块读时钟域 rptr_empty #(.PTR_WIDTH(PTR_WIDTH)) u_rptr_empty ( .rclk(rclk), .rrst_n(rrst_n), .r_en(r_en), .g_wptr_sync(g_wptr_sync), // 同步过来的写指针格雷码 .b_rptr(b_rptr), // 输出给存储器的二进制读地址 .g_rptr(g_rptr), // 输出给同步器的格雷码读指针 .empty(empty) ); // 4. 双端口RAM或寄存器文件作为存储体 fifo_mem #( .DEPTH(DEPTH), .DATA_WIDTH(DATA_WIDTH), .PTR_WIDTH(PTR_WIDTH) ) u_fifo_mem ( .wclk(wclk), .w_en(w_en), .waddr(b_wptr[PTR_WIDTH-1:0]), // 使用二进制指针的低位作为地址 .wdata(wdata), .full(full), .rclk(rclk), .r_en(r_en), .raddr(b_rptr[PTR_WIDTH-1:0]), // 使用二进制指针的低位作为地址 .rdata(rdata), .empty(empty) ); endmodule顶层结构很清晰两个同步器桥接时钟域两个指针处理模块分别管理各自的指针和状态一个存储体存放数据。注意b_wptr和b_rptr是完整的带绕回位的二进制指针但连接到存储器地址端口时我们只取低PTR_WIDTH位因为存储器的实际深度就是2^PTR_WIDTH。4.2 同步器模块两级触发器打拍这是处理跨时钟域信号最经典、最基础的结构。用两级触发器来降低亚稳态传播的概率。虽然不能消除亚稳态但能将其发生的概率降到极低对于指针这种控制信号足够了。module sync_cell #( parameter WIDTH 4 )( input wire clk, input wire rst_n, input wire [WIDTH-1:0] d_in, output reg [WIDTH-1:0] d_out ); reg [WIDTH-1:0] sync_reg; // 中间寄存器 always (posedge clk or negedge rst_n) begin if (!rst_n) begin sync_reg {WIDTH{1b0}}; d_out {WIDTH{1b0}}; end else begin sync_reg d_in; // 第一级同步 d_out sync_reg; // 第二级同步 end end endmodule重要提示对于高扇出或关键路径的信号有时会使用三级触发器同步来进一步降低MTBF平均无故障时间。但两级对于大多数应用已经足够。记住同步器只能同步“慢变”信号对于像数据总线这样可能每个周期都变的信号必须用异步FIFO或握手协议来处理。4.3 写指针与满标志生成模块这个模块工作在写时钟域。它的核心任务是在写使能有效且FIFO非满时递增写指针同时根据同步过来的读指针格雷码计算满标志。module wptr_full #( parameter PTR_WIDTH 3 )( input wire wclk, input wire wrst_n, input wire w_en, input wire [PTR_WIDTH:0] g_rptr_sync, // 从读时钟域同步来的读指针格雷码 output reg [PTR_WIDTH:0] b_wptr, // 二进制写指针用于寻址 output reg [PTR_WIDTH:0] g_wptr, // 格雷码写指针用于同步到读域 output wire full ); reg [PTR_WIDTH:0] b_wptr_next; // 二进制写指针的下一个值 reg [PTR_WIDTH:0] g_wptr_next; // 格雷码写指针的下一个值 wire wfull; // 计算下一个二进制写指针如果使能且不满则加1 assign b_wptr_next b_wptr ((w_en !full) ? 1b1 : 1b0); // 二进制转格雷码 assign g_wptr_next (b_wptr_next 1) ^ b_wptr_next; // 指针寄存器更新 always (posedge wclk or negedge wrst_n) begin if (!wrst_n) begin b_wptr {(PTR_WIDTH1){1b0}}; g_wptr {(PTR_WIDTH1){1b0}}; end else begin b_wptr b_wptr_next; g_wptr g_wptr_next; end end // 满标志生成逻辑直接比较格雷码 // 判断条件下一个写指针的格雷码等于 {~同步读指针格雷码的最高两位, 同步读指针格雷码的其余位} assign wfull (g_wptr_next {~g_rptr_sync[PTR_WIDTH:PTR_WIDTH-1], g_rptr_sync[PTR_WIDTH-2:0]}); // 满标志寄存器输出可以打一拍改善时序 reg full_reg; always (posedge wclk or negedge wrst_n) begin if (!wrst_n) full_reg 1b0; else full_reg wfull; end assign full full_reg; endmodule这里有个细节满标志wfull是由组合逻辑生成的它依赖于g_wptr_next和g_rptr_sync。为了改善时序通常会将wfull用寄存器打一拍再输出为full。同时full信号又反馈回来参与b_wptr_next的计算防止在满时继续写这构成了一条反馈路径但因为是同一个时钟域所以是同步逻辑没有问题。4.4 读指针与空标志生成模块这个模块是写模块的镜像工作在读时钟域。module rptr_empty #( parameter PTR_WIDTH 3 )( input wire rclk, input wire rrst_n, input wire r_en, input wire [PTR_WIDTH:0] g_wptr_sync, // 从写时钟域同步来的写指针格雷码 output reg [PTR_WIDTH:0] b_rptr, // 二进制读指针用于寻址 output reg [PTR_WIDTH:0] g_rptr, // 格雷码读指针用于同步到写域 output wire empty ); reg [PTR_WIDTH:0] b_rptr_next; reg [PTR_WIDTH:0] g_rptr_next; wire rempty; // 计算下一个二进制读指针 assign b_rptr_next b_rptr ((r_en !empty) ? 1b1 : 1b0); // 二进制转格雷码 assign g_rptr_next (b_rptr_next 1) ^ b_rptr_next; // 指针寄存器更新 always (posedge rclk or negedge rrst_n) begin if (!rrst_n) begin b_rptr {(PTR_WIDTH1){1b0}}; g_rptr {(PTR_WIDTH1){1b0}}; end else begin b_rptr b_rptr_next; g_rptr g_rptr_next; end end // 空标志生成逻辑直接比较格雷码 // 判断条件同步过来的写指针格雷码等于下一个读指针的格雷码 assign rempty (g_wptr_sync g_rptr_next); // 空标志寄存器输出 reg empty_reg; always (posedge rclk or negedge rrst_n) begin if (!rrst_n) empty_reg 1b1; // 复位时FIFO为空 else empty_reg rempty; end assign empty empty_reg; endmodule注意空标志在复位时被置为1这是合理的因为刚复位时FIFO里没有数据。4.5 存储器模块真正的数据仓库最后是存储数据的部分。我们可以用FPGA内部的Block RAM或分布式RAM来实现也可以用寄存器堆。这里给出一个通用的双端口RAM模型写端口和读端口使用不同的时钟。module fifo_mem #( parameter DEPTH 8, parameter DATA_WIDTH 8, parameter PTR_WIDTH 3 )( // 写端口 input wire wclk, input wire w_en, input wire [PTR_WIDTH-1:0] waddr, // 注意这里只用了低PTR_WIDTH位 input wire [DATA_WIDTH-1:0] wdata, input wire full, // 满信号作为写保护 // 读端口 input wire rclk, input wire r_en, input wire [PTR_WIDTH-1:0] raddr, output reg [DATA_WIDTH-1:0] rdata, input wire empty // 空信号作为读保护 ); // 用寄存器数组实现存储器 reg [DATA_WIDTH-1:0] mem [0:DEPTH-1]; // 写操作仅在使能且非满时写入 always (posedge wclk) begin if (w_en !full) begin mem[waddr] wdata; end end // 读操作组合逻辑输出时钟沿锁存地址 // 也可以用时序逻辑在r_en有效且非空时在rclk上升沿将数据存入rdata寄存器 // 这里采用组合逻辑输出延迟更小但要注意外部可能需要寄存器来满足时序 always (*) begin if (!empty) // 通常需要确保非空时才输出有效数据但地址可能来自异步域需谨慎 rdata mem[raddr]; else rdata {DATA_WIDTH{1b0}}; // 空时输出0或高阻根据设计需求定 end // 更稳健的读操作时序逻辑 /* always (posedge rclk) begin if (r_en !empty) begin rdata mem[raddr]; end end */ // 这种方式下rdata会比raddr晚一个读时钟周期但时序更干净。 endmodule关于读操作的选择使用组合逻辑输出 (always (*)) 可以获得最小的读延迟但raddr来自读时钟域的异步逻辑虽然经过了本时钟域的寄存器在高速下可能带来时序挑战。使用时序逻辑 (always (posedge rclk)) 会将读数据寄存一拍延迟增加一个周期但时序更容易满足是更常见的做法。你需要根据系统的时钟频率和时序要求来选择。5. 仿真、调试与实战中的注意事项代码写完了别急着上板子充分的仿真至关重要。对于异步FIFO仿真要重点检查几个边界场景。测试场景1同时读写随机间隔。用两个不同频率的时钟驱动写和读写使能和读使能随机产生。观察在满和空边界附近full和empty信号是否被正确置起和清除数据是否丢失或重复。测试场景2写快读慢直至写满。将写时钟频率设为读时钟的两倍持续写入数据。你应该看到full信号在FIFO真的满之后而不是之前的一个写时钟周期内拉高并且拉高后即使写使能有效也不再写入新数据。然后停止写让读慢慢消耗数据full信号应在最后一个数据被读出前的某个时刻拉低因为空满判断有延迟。测试场景3读快写慢直至读空。与场景2相反检查empty信号的行为。测试场景4复位测试。在读写过程中随机复位复位后指针是否归零空满标志状态是否正确满为0空为1。在波形查看器中你需要密切关注几个关键信号b_wptr,g_wptr,g_rptr_sync,full以及对应的读端信号。验证指针的转换和同步是否正确特别是当指针绕回时从7跳回0最高位翻转。我在实际项目中踩过的一个坑是关于指针位宽和深度。一定要确保PTR_WIDTH $clog2(DEPTH)计算正确。如果你的FIFO深度不是2的幂次方比如深度10这个设计需要修改因为格雷码的完美循环特性要求深度是2^n。对于非2幂深度要么将其补全到下一个2的幂浪费空间要么采用更复杂的设计如基于计数器的满空判断这超出了本文范围。所以强烈建议将FIFO深度设为2的幂次方这是最通用和高效的做法。另一个注意事项是复位。写指针和读指针必须使用各自的复位信号wrst_n和rrst_n并且这两个复位信号的释放de-assertion最好是异步的但需要满足各自时钟域的恢复/移除时间要求。在系统层面要确保两个复位信号在释放时间上不要有太大的偏差以免FIFO在启动时状态错乱。最后关于性能。本文介绍的是经典的异步FIFO设计其空满标志的判断由于需要同步对方指针会有至少2个目标时钟周期的延迟。这意味着“满”和“空”状态的通知是保守的可能会提前一点报满或报空从而略微降低FIFO的吞吐率。对于极高带宽的应用可以考虑使用“近乎满/近乎空”标志或者更复杂的信用credit机制。但对于90%以上的应用这个经典设计已经足够稳健和高效。