FWFT:First Word Fall Through的缩写,是Xilinx的说法,Altera对应的概念是Show-ahead synchronous(SASO)。即数据在rdreq有效之前就有效。
需要注意的是当rdreq连续时,容易多读一个数据,所以读时需要对将空(almost_empty)进行判读,在FIFO BFM的代码读任务里有如下代码:
读取:
if(fifo_rden==1'b1)
fifo_rden<=~fifo_alempty;
else
fifo_rden<=~fifo_empty;
写入:
if(fifo_wren==1'b1)
fifo_wren<=~fifo_alfull;
else
fifo_wren<=~fifo_empty;
代码的目的就是在将空时读一次停一次或者写一次停一次。
另外一种做法:
//寄存型读信号产生
always @(posedge rd_clk) begin
if(~rst_n) begin
rd_en <= 1'b0;
end else if (~almost_empty) begin
rd_en <= 1'b1;
end else begin
rd_en <= ~empty & ~rden;
end
end
对应的写代码:
//寄存型写信号产生
always @(posedge wr_clk) begin
if(~rst_n) begin
wr_en <= 1'b0;
end else if (~almost_full) begin
wr_en <= 1'b1;
end else begin
wr_en <= ~full & ~wren;
end
end
特殊的情况下,例如如果不是连续的读写操作,例如在状态机里读一个数据,然后跳到下一个状态,则可以不用判读将空标志:
ST1:
begin
if(fifo_empty==1'b0)
begin
fifo_rden <= 1'b1;
end
next_state <= ST2;
end
ST2:
begin
fifo_rden <= 1'b0;
next_state <= ST3;
end