fifo是一种先入先出的数据缓冲器,有一个写端口(din、wr_en)和一个读端口(rout、rd_en);写端口会输出空满标志。同步fifo相对于异步fifo而言,其好处在于读时钟和写时钟为同一个时钟,不需要对地址进行跨时钟域,可以直接就读地址和写地址进行加减。

1、同步fifo解析


从图中可以看到同步fifo分为读端口和写端口,两边均由三部分组成:写或读控制、写或读地址和状态生成

(1)读控制(ren)、写控制(wen)的生成:当外部输入的wr_en=1且full=0时,也就是外部让你写且你的fifo现在没有写满的情况下,你就可以对fifo进行写操作。用verilog表示即为
wen=!full&&wr_en;
读控制同理:ren=(!empty)&&rd_en;
(2)读地址(raddr)、写地址(waddr)
这块比较简单,时钟上升沿到来了且读使能(ren)或者写使能(wen)有效,读地址(读指针)+1或者写地址(写指针)+1;
对应到verilog代码为:
always@(posedge clk)
if(reset)
waddr<=5’b0;
else if(wen)
waddr<=waddr+1;

always@(posedge clk)
if(reset)
raddr<=5’b0;
else if(ren)
raddr<=raddr+1;

(3) 根据地址计算wr_gap,判断full、almost_full;根据rd_gap判断empty、almost_empty;
always@(*)
if(waddr[4]^raddr[4])
wr_gap=raddr[3:0]-waddr[3:0];
else wr_gap=FIFO_DEEP+rd_addr-waddr;

//almost_full产生
always@(posedge clk )
if(reset)
almost_full<=1’b0;
else if(wr_gap<ALMOST_FULL_GAP&&wr_gap>0)
almost_full<=1’b1;
else almost_full<=1’b0;

//full信号产生
always@(posedge clk)
if(reset)
full<=1’b0;
else if(wr_gap==1&&wen)
full<=1’b1;
else full<=1’b0;

(4)wr_gap和rd_gap的计算
我个人觉得容易混淆的是wr_gap和rd_gap的计算。因为fifo是回卷的,所以会出现一个现象当读指针或者写指针指向同一个地址的时候,既可能是空也可能是满。Wr_gap其实质是计算fifo中还有多少个地址是没有数据的,是空的,这样才知道自己啥时候能够写满。因此其计算公式为读地址-写地址;因为有回卷的情况,所以wr_gap的计算需要分情况,这点可以自己画图。Rd_gap其实质是看还有多个个数据读出后就能够读空,所以计算的是fifo中还有多少个数据。

对应的verilog代码如下:
//wr_gap间隔计算
always@()
if(waddr[4]^raddr[4])
wr_gap=raddr[3:0]-waddr[3:0];
else wr_gap=FIFO_DEEP+rd_addr-waddr;
//计算rd_gap
always@(
)
rd_gap=waddr-raddr;
rd_gap也可以直接用fifo的深度减去wr_gap。
2、完整代码
(1)

module syn_fifo(
input clk,
input reset,
//fifo write
input wr_en,
input [15:0]wr_data,
output reg full,
output reg almost_full,
//fifo read
input rd_en,
output [15:0]rd_data,
output reg empty,
output reg almost_empty
    );
	
parameter FIFO_DEEP=16;
parameter ALMOST_EMPTY_GAP=3;
parameter ALMOST_FULL_GAP=3;	
wire [3:0]rd_addr;
wire [3:0]wr_addr;
reg [3:0]wr_gap;
reg [3:0]rd_gap;
reg [4:0]waddr;	//拓展一位,最高位用来判断读写指针是否在同一轮
reg [4:0]raddr;

wire wen;
wire ren;

assign wen=!full&&wr_en;
always@(posedge clk)
if(reset)
waddr<=5'b0;
else if(wen)
	waddr<=waddr+1;
//间隔计算
always@(*)
if(waddr[4]^raddr[4])
	wr_gap=raddr[3:0]-waddr[3:0];
else wr_gap=FIFO_DEEP+rd_addr-waddr;

//almost_full产生
always@(posedge clk )
if(reset)
	almost_full<=1'b0;
else if(wr_gap<ALMOST_FULL_GAP&&wr_gap>0)
	almost_full<=1'b1;
else almost_full<=1'b0;
	
//full信号产生
always@(posedge clk)
if(reset)
	full<=1'b0;
else if(wr_gap==1&&wen)
	full<=1'b1;
else full<=1'b0;

//1、读控制
assign ren=(!empty)&&rd_en;
always@(posedge clk)
if(reset)
	raddr<=5'b0;
else if(ren)
	raddr<=raddr+1;

//计算rd_gap
always@(*)
	rd_gap=waddr-raddr;

//almost_empty
always@(posedge clk)
	if(reset)
		almost_empty<=1'b0;
	else if(rd_gap<ALMOST_EMPTY_GAP)
		almost_empty<=1'b1;
	else almost_empty<=1'b0;

//empty 
always@(posedge clk)
if(reset)
	empty<=1'b0;
else if(rd_gap==1&&ren)
	empty<=1'b1;
else empty<=1'b0;
assign wr_addr=waddr[3:0];
assign rd_addr=raddr[3:0];

blk_mem_gen_0 your_instance_name (
  .clka(clk),    // input wire clka
  .wea(wen),      // input wire [0 : 0] wea
  .addra(wr_addr),  // input wire [3 : 0] addra
  .dina(wr_data),    // input wire [15 : 0] dina
  .douta(),  // output wire [15 : 0] douta
  .clkb(clk),    // input wire clkb
  .web(),      // input wire [0 : 0] web
  .addrb(rd_addr),  // input wire [3 : 0] addrb
  .dinb(),    // input wire [15 : 0] dinb
  .doutb(rd_data)  // output wire [15 : 0] doutb
);

	
endmodule

BRAM:

(2)仿真文件:

module syn_fifo_tst2();
reg        clk            ;
reg        reset          ;
reg        wr_en          ;
reg [15:0] wr_data        ;
reg        rd_en          ;
wire [15:0]rd_data        ;
wire       empty          ;
wire       almost_empty   ;
wire       full           ;
wire       almost_full    ;

syn_fifo U_syn_fifo(
.clk            (clk          ),
.reset          (reset        ),
.wr_en          (wr_en        ),
.wr_data        (wr_data      ),
.rd_en          (rd_en        ),
.rd_data        (rd_data      ),
.empty          (empty        ),
.almost_empty   (almost_empty ),
.full           (full         ),
.almost_full    (almost_full  )
);
initial
begin
clk=1;
reset=1;
wr_data=0;
rd_en=0;
wr_en=0;
#20 
reset=0;
// #20;
 wr_en=1;

#20 wr_data=1;//写使能后需要隔至少一个时钟周期再给数据,如果直接给数据,这个数据是读不出来的。
#20 wr_data=1;
#20  wr_data=2;
#20  wr_data=3;
#20  wr_data=4;
#20  wr_data=5;

 

#20 
rd_en=1;
wr_data=6;
#20 wr_data=7;
#20 wr_data=8;
#20 wr_data=9;
#20 wr_data=10;
#20 wr_data=11;
#20 wr_data=12;
#20 wr_data=13;
#20 wr_data=14;
#20 wr_data=15;
#20 wr_en=0;
# 40 rd_en=0;

end

always #10 clk=~clk;
endmodule

写仿真文件的时候需要特别注意,我这个是用的xilinx中BRAM搭建的fifo,他有一个特性:写使能后需要隔至少一个时钟周期再给数据,如果直接给数据,这个数据是读不出来的。

(3)现象

如果您看到有什么问题,欢迎批评指正!