異步FIFO的空滿也是通過地址位擴展進行，這與同步FIFO是一致的，但異步FIFO不能通過計數器進行空滿判斷且轉換成格雷碼帶來的問題又與同步FIFO的判斷算法不一致，這是異步FIFO的一個難點。關於格雷碼的判斷空滿，仔細下文。
異步FIFO框架結構：
頂層代碼：
module asyn_fifo(w_clk,rst_n,w_req,w_data,r_clk,r_req,r_data,w_full,r_empty);
parameter DEPTH=256; //設置FIFO深度為256
parameter WIDTH_A=8; //根據FIFO深度進行地址編碼
parameter WIDTH_D=16;//數據位寬為16
input w_clk; //寫時鍾
input rst_n; //復位信號
input w_req; // 寫使能信號
input [WIDTH_D-1:0]w_data; // 寫數據
input r_clk; // 讀時鍾
input r_req; // 讀使能
output w_full; // 輸出FIFO滿信號
output r_empty; // 輸出FIFO空信號
output [WIDTH_D-1:0]r_data; // 讀數據
wire [WIDTH_A:0]w_addr; //寫地址
wire [WIDTH_A:0]w_gaddr;//將地址轉換成格雷碼
wire [WIDTH_A:0]w_gaddr_syn;//轉換成格雷碼后的寫地址同步到讀時鍾域去
wire [WIDTH_A:0]r_addr;// 讀地址
wire [WIDTH_A:0]r_gaddr;//
wire [WIDTH_A:0]r_gaddr_syn;//
asyn_fifo_write_part write_control( //寫控制
.rst_n(rst_n),
.w_clk(w_clk),
.w_req(w_req),
.r_gaddr_syn(r_gaddr_syn),
.w_full(w_full),
.w_addr(w_addr),
.w_gaddr(w_gaddr)
);
asyn_fifo_syn syn_w_2_r( // 寫地址同步到讀時鍾域
.rst_n(rst_n),
.w_r_clk(r_clk),
.w_r_gaddr(w_gaddr),
.w_r_gaddr_syn(w_gaddr_syn)
);
asyn_fifo_read_part read_control( // 讀控制
.rst_n(rst_n),
.r_clk(r_clk),
.r_req(r_req),
.w_gaddr_syn(w_gaddr_syn),
.r_empty(r_empty),
.r_addr(r_addr),
.r_gaddr(r_gaddr));
asyn_fifo_syn syn_r_2_w( // 讀地址同步到 寫時鍾域
.rst_n(rst_n),
.w_r_clk(w_clk),
.w_r_gaddr(r_gaddr),
.w_r_gaddr_syn(r_gaddr_syn)
);
asyn_fifo_RAM_1 ram( // RAM存儲
.rst_n(rst_n),
.w_clk(w_clk),
.r_clk(r_clk),
.w_en(w_req &(!w_full)),
.r_en(r_req &(!r_empty)),
.w_data(w_data),
.w_addr(w_addr[WIDTH_A-1:0]),
.r_addr(r_addr[WIDTH_A-1:0]),
.r_data(r_data)
);
endmodule
各部分代碼：
（1）寫控制模塊
module asyn_fifo_write_part(rst_n,w_clk,w_req,w_gaddr,w_addr,w_full,r_gaddr_syn);
parameter WIDTH_A=8;
input rst_n;
input w_clk;
input w_req; //寫使能
input [WIDTH_A:0]r_gaddr_syn; //同步后的讀地址作為輸入作用到寫控制，進行寫滿判斷
output [WIDTH_A:0]w_gaddr; //調用bin_to_gray模塊，將二進制轉換成格雷碼
output [WIDTH_A:0]w_addr;
output w_full;
reg [WIDTH_A:0]w_addr;
always @(posedge w_clk or negedge rst_n)
begin
if(!rst_n)
w_addr<=9'h0;
else if(w_req && (!w_full))
w_addr<=w_addr + 1'b1;
end
//假設地址位是3bit，所以FIFO深度為8，擴展一位后為4bit。先進行寫操作，首先寫入4個數據，此時的地址二進制表示為0100，格雷碼表示為0110。然后數據被讀取，//讀地址二進制,為0100，格雷碼也為0110，此時在讀時鍾域可判讀為空。后連續寫入8個數據，此時地址的二進制表示為1100，格雷碼為1010，此時在寫時鍾域可判斷////為寫滿。所以將二進制轉換成格雷碼帶來的問題：通過格雷碼進行空滿判斷就不能只考慮最高位的不同，需要進行最高位和次高位的取反，其余位保持即可判斷。
assign w_full=({~w_gaddr[WIDTH_A],~w_gaddr[WIDTH_A-1],w_gaddr[WIDTH_A-2:0]}==r_gaddr_syn)?1'b1:1'b0;
asyn_fifo_bin_to_gray bin_to_gray(
.bin_c(w_addr),
.gray_c(w_gaddr)
);
endmodule
（2）不同時鍾域的兩級同步模塊：這一塊沒什么好解釋的，就是打兩拍同步，防止亞穩態傳播
module asyn_fifo_syn(rst_n,w_r_clk,w_r_gaddr,w_r_gaddr_syn);
parameter WIDTH_D=8;
input rst_n;
input w_r_clk;
input [WIDTH_D:0]w_r_gaddr;
output [WIDTH_D:0]w_r_gaddr_syn;
reg [WIDTH_D:0]w_r_gaddr_syn_1,w_r_gaddr_syn_2;
always @(posedge w_r_clk or negedge rst_n)
begin
if(!rst_n)
begin
w_r_gaddr_syn_1<='h0;
w_r_gaddr_syn_2<='h0;
end
else
begin
w_r_gaddr_syn_1<=w_r_gaddr;
w_r_gaddr_syn_2<=w_r_gaddr_syn_1;
end
end
assign w_r_gaddr_syn=w_r_gaddr_syn_2;
endmodule
（3）讀控制模塊：空信號較易判斷，地址相同即為空
module asyn_fifo_read_part(rst_n,r_clk,r_req,w_gaddr_syn,r_empty,r_addr,r_gaddr);
parameter WIDTH_A=8;
input rst_n;
input r_clk;
input r_req;
input [WIDTH_A:0]w_gaddr_syn;
output [WIDTH_A:0]r_addr;
output [WIDTH_A:0]r_gaddr;
output r_empty;
reg [WIDTH_A:0]r_addr;
always @(posedge r_clk or negedge rst_n)
begin
if(!rst_n)
r_addr<='b0;
else if(r_req && (!r_empty))
r_addr<=r_addr + 1'b1;
end
assign r_empty=(w_gaddr_syn==r_gaddr)?1'b1:1'b0;
asyn_fifo_bin_to_gray bin_to_gray_2(
.bin_c(r_addr),
.gray_c(r_gaddr)
);
endmodule
（4）RAM模塊
module asyn_fifo_RAM_1 #(
parameter DEPTH = 256,
parameter WIDTH_A = 8, //addr bit
parameter WIDTH_D = 16 //data bit
)(
input r_clk,
input w_clk,
input rst_n,
input [WIDTH_A-1:0] w_addr,
input [WIDTH_D-1:0] w_data,
input w_en,
input [WIDTH_A-1:0] r_addr,
input r_en,
output reg[WIDTH_D-1:0] r_data
);
reg [15:0] mem[0:DEPTH-1];
integer i;
always @( posedge w_clk )
if( !rst_n )
for(i=0;i<DEPTH;i=i+1)
mem[i] <= 'h0000;
else if( w_en )
mem[w_addr] <= w_data;
always @( posedge r_clk )
if( !rst_n )
r_data <= 'h0000;
else if( r_en )
r_data <= mem[r_addr];
endmodule
（5）二進制轉換成格雷碼bin_to_gray模塊
module asyn_fifo_bin_to_gray(bin_c,gray_c);
parameter WIDTH_D=8;
input [WIDTH_D:0]bin_c;
output [WIDTH_D:0]gray_c;
wire h_b;
assign h_b=bin_c[WIDTH_D];
reg [WIDTH_D-1:0]gray_c_d;
integer i;
always @(*)
for(i=0;i<WIDTH_D;i=i+1)
gray_c_d[i]<=bin_c[i]^bin_c[i+1];//異或即為格雷碼
assign gray_c={h_b,gray_c_d};
endmodule
tb文件：
`timescale 1ns/1ps
module asyn_fifo_top_tb;
reg rst_n;
reg w_clk;
reg r_clk;
reg w_req;
reg r_req;
reg [15:0]w_data;
wire [15:0]r_data;
wire w_full;
wire r_empty;
always #2 w_clk=~w_clk;
always #8 r_clk=~r_clk;
asyn_fifo u1(
.w_clk(w_clk),
.rst_n(rst_n),
.w_req(w_req),
.w_data(w_data),
.r_clk(r_clk),
.r_req(r_req),
.r_data(r_data),
.w_full(w_full),
.r_empty(r_empty)
);
initial
begin
$vcdpluson();
end
initial
begin
w_req=0;
w_data=0;
r_req=0;
w_clk=0;
r_clk=0;
rst_n=0;
#10;
rst_n=1;
#2;
w_req=1;
#10;
r_req=1;
forever begin@(posedge w_clk)
if(!w_full)
begin
w_data = w_data + 1'b1;
end
end
end
endmodule
仿真中發現邏輯的正確性