现在开始对上一篇博文介绍的异步FIFO进行功能验证，上一篇博文地址：http://blog.chinaaet.com/crazybird/p/5100000872 。对异步FIFO验证的平台如图1所示。
图1 异步FIFO验证平台
其中，clock为时钟生成器，asyn_fifo_if为产生异步FIFO读写命令的模块，asyn_fifo为异步FIFO设计模块。
验证顶层模块testbench的代码如下所示：
/*******************************版权申明******************************** ** 电子技术应用网站, CrazyBird ** http://www.chinaaet.com, http://blog.chinaaet.com/crazybird ** **------------------------------文件信息-------------------------------- ** 文件名： clock.v ** 创建者： CrazyBird ** 创建日期： 2016-1-16 ** 版本号: v1.0 ** 功能描述： 时钟生成器 ** ***********************************************************************/ // synopsys translate_off `timescale 1 ns / 1 ps // synopsys translate_on module testbench; //****************************************************************** // 变量定义 //****************************************************************** wire wr_rst_n; wire wr_clk; wire wr_en; wire [7:0] wr_data; wire wr_full; wire [4:0] wr_cnt; wire rd_rst_n; wire rd_clk; wire rd_en; wire [7:0] rd_data; wire rd_empty; wire [4:0] rd_cnt; //****************************************************************** // 时钟生成器例化 //****************************************************************** clock #( .C_CLK_FREQ(100.0) ) u_clock_wr ( .clk ( wr_clk ) ); clock #( .C_CLK_FREQ(70.0) ) u_clock_rd ( .clk ( rd_clk ) ); //****************************************************************** // 异步FIFO读写指令产生模块例化 //****************************************************************** asyn_fifo_if #( .C_DATA_WIDTH(8) ) u_asyn_fifo_if ( .wr_rst_n ( wr_rst_n ), .wr_clk ( wr_clk ), .wr_en ( wr_en ), .wr_data ( wr_data ), .wr_full ( wr_full ), .rd_rst_n ( rd_rst_n ), .rd_clk ( rd_clk ), .rd_en ( rd_en ), .rd_empty ( rd_empty ) ); //****************************************************************** // 异步FIFO模块例化 //****************************************************************** asyn_fifo #( .C_DATA_WIDTH(8), .C_FIFO_DEPTH_WIDTH (4) ) u_asyn_fifo ( .wr_rst_n ( wr_rst_n ), .wr_clk ( wr_clk ), .wr_en ( wr_en ), .wr_data ( wr_data ), .wr_full ( wr_full ), .wr_cnt ( wr_cnt ), .rd_rst_n ( rd_rst_n ), .rd_clk ( rd_clk ), .rd_en ( rd_en ), .rd_data ( rd_data ), .rd_empty ( rd_empty ), .rd_cnt ( rd_cnt ) ); endmodule
时钟模块clock的代码实现如下所示（时钟的频率可设置）：
/*******************************版权申明******************************** ** 电子技术应用网站, CrazyBird ** http://www.chinaaet.com, http://blog.chinaaet.com/crazybird ** **------------------------------文件信息-------------------------------- ** 文件名： clock.v ** 创建者： CrazyBird ** 创建日期： 2016-1-16 ** 版本号: v1.0 ** 功能描述： 时钟生成器 ** ***********************************************************************/ // synopsys translate_off `timescale 1 ns / 1 ps // synopsys translate_on module clock( clk ); //****************************************************************** // 参数定义 //****************************************************************** parameter C_CLK_FREQ = 100.0; //MHz localparam C_CLK_CYCLE = 1000.0 / C_CLK_FREQ; //****************************************************************** // 端口定义 //****************************************************************** output reg clk; //****************************************************************** // 时钟生成 //****************************************************************** initial begin clk = 0; forever #(C_CLK_CYCLE/2) clk = ~clk; end endmodule
本次测试的步骤如下所示：
（1）只写异步FIFO
（2）只读异步FIFO
（3）同时读写异步FIFO
测试步骤的代码在asyn_fifo_if模块中，如下所示：
/*******************************版权申明********************************
** 电子技术应用网站, CrazyBird
** http://www.chinaaet.com, http://blog.chinaaet.com/crazybird
**
**------------------------------文件信息--------------------------------
** 文件名： asyn_fifo_if.v
** 创建者： CrazyBird
** 创建日期： 2016-1-16
** 版本号: v1.0
** 功能描述： 产生异步FIFO的读写命令
**
***********************************************************************/
// synopsys translate_off
`timescale 1 ns / 1 ps
// synopsys translate_on
module asyn_fifo_if(
wr_rst_n,
wr_clk,
wr_en,
wr_data,
wr_full,
rd_rst_n,
rd_clk,
rd_en,
rd_empty
);
//******************************************************************
// 参数定义
//******************************************************************
parameter C_DATA_WIDTH = 8;
//******************************************************************
// 端口定义
//******************************************************************
output reg wr_rst_n;
input wr_clk;
output reg wr_en;
output reg [C_DATA_WIDTH-1:0] wr_data;
input wr_full;
output reg rd_rst_n;
input rd_clk;
output reg rd_en;
input rd_empty;
//******************************************************************
// 内部变量定义
//******************************************************************
reg normal_wr;
reg normal_rd;
//******************************************************************
// 变量初始化
//******************************************************************
initial
begin
wr_rst_n = 1'b0;
rd_rst_n = 1'b0;
normal_wr = 1'b0;
normal_rd = 1'b0;
#492;
wr_rst_n = 1'b1;
rd_rst_n = 1'b1;
#100;
//只写FIFO
normal_wr = 1'b1;
repeat(20) @(negedge wr_clk);
normal_wr = 1'b0;
//只读FIFO
normal_rd = 1'b1;
repeat(20) @(negedge rd_clk);
normal_rd = 1'b0;
//同时读写FIFO
normal_wr = 1'b1;
normal_rd = 1'b1;
repeat(100) @(negedge wr_clk);
normal_wr = 1'b0;
normal_rd = 1'b0;
repeat(20) @(negedge rd_clk);
$stop;
end
//******************************************************************
// 写FIFO信号的产生
//******************************************************************
always @(negedge wr_clk or negedge wr_rst_n)
begin
if(wr_rst_n == 1'b0)
begin
wr_en <= 1'b0;
wr_data <= {(C_DATA_WIDTH){1'b0}};
end
else if(normal_wr == 1'b1)
begin
if(wr_full == 1'b0)
begin
wr_en <= 1'b1;
wr_data <= {$random%((1 << C_DATA_WIDTH)-1)};
end
else
begin
wr_en <= 1'b0;
wr_data <= {(C_DATA_WIDTH){1'b0}};
end
end
else
begin
wr_en <= 1'b0;
wr_data <= {(C_DATA_WIDTH){1'b0}};
end
end
//******************************************************************
// 读FIFO信号的产生
//******************************************************************
always @(negedge wr_clk or negedge wr_rst_n)
begin
if(wr_rst_n == 1'b0)
rd_en <= 1'b0;
else if(normal_rd == 1'b1)
begin
if(rd_empty == 1'b0)
rd_en <= 1'b1;
else
rd_en <= 1'b0;
end
else
rd_en <= 1'b0;
end
endmodule
modelsim仿真结果如图2~4所示（具体情况可自行分析）。
图2 只写异步FIFO
图3 只读异步FIFO
图4 同时读写异步FIFO
至此，异步FIFO的设计和验证都完成了。现在预告下一篇博文：参数化的优先级编码器设计。哈哈，不要以为很简单哦。记住，是“参数化”，即输入信号的位宽可设置。大家也可以先想想如何实现。也许，灵感一来很快就想出来了，否则，半个小时、1个小时、甚至很多。
转载：http://blog.chinaaet.com/crazybird/p/5100000874