
module testbench;
    reg clk;
    reg reset;
    reg [7:0] data_in;
    wire [7:0] data_out;
 
    // 设计单元实例化
    dut my_dut (
        .clk(clk),
        .reset(reset),
        .data_in(data_in),
        .data_out(data_out)
    );
 
    // 时钟生成
    always begin
        #5 clk = ~clk;
    end
 
    // 测试激励和检查
    initial begin
        // 初始化信号
        clk = 0;
        reset = 1;
        data_in = 8'h00;
        // 复位释放
        #10 reset = 0;
        // 测试激励
        for (int i = 0; i < 256; i++) begin
            #10 data_in = i;
        end
        // 检查输出
        $display("data_out: %h", data_out);
        // 结束仿真
        $finish;
    end
endmodule

1.2 Testbench 与 DUT 通信

测试平台与设计单元之间的通信通过信号连接完成。主要有以下几种类型的信号：

输入信号：从测试平台驱动到设计单元的信号
输出信号：从设计单元驱动到测试平台的信号
双向信号：既可以从测试平台驱动到设计单元，也可以从设计单元驱动到测试平台的信号
输入信号通常用 reg 类型声明，输出信号和双向信号通常用 wire 类型声明。

1.3 时钟生成

时钟信号是数字设计中的关键信号。在测试平台中，通常使用 always 语句块生成时钟：
always begin
#5 clk = ~clk;
end
这里，时钟周期为 10 个时间单位，上升沿和下降沿之间的时间间隔为 5 个时间单位。

第二部分：常用的测试方法和技巧

2.1 测试激励生成

测试激励是一组输入信号的序列，用于在设计单元上产生特定行为。在测试平台中，可以使用以下方法生成测试激励：

直接赋值：在 initial 语句块中，使用延迟控制 (#) 直接为输入信号赋值
循环结构：使用 for、while 和 repeat 等循环结构生成测试激励
任务和函数：将测试激励封装为任务 (task) 或函数 (function)，在 initial 语句块中调用
例如，使用 for 循环生成递增数据：


initial begin
    for (int i = 0; i < 256; i++) begin
        #10 data_in = i;
    end
end

2.2 输出信号检查

验证设计单元的正确性需要检查其输出信号。这可以通过以下方法完成：

直接比较：使用逻辑运算符 (==, != 等) 直接比较输出信号和期望值
事件触发：使用 @(posedge)、@(negedge) 等事件控制语句在特定时刻检查输出信号
任务和函数：将输出信号检查封装为任务 (task) 或函数 (function)，在 initial 语句块中调用
例如，使用事件触发在时钟上升沿检查输出信号：


initial begin
    // 等待复位释放
    @(posedge reset);
 
    // 检查输出信号
    for (int i = 0; i < 256; i++) begin
        @(posedge clk);
        if (data_out !== i) $display("Mismatch at i=%d: got %h, expected %h", i, data_out, i);
    end
end

2.3 结果分析和报告

在测试平台中，可以使用以下方法分析和报告结果：

$display：打印格式化字符串，类似于 C 语言的 printf
$fwrite：将格式化字符串写入文件
$monitor：在任何列出的信号变化时，打印格式化字符串
例如，使用 $display 打印输出信号：


initial begin
    @(posedge reset);
    for (int i = 0; i < 256; i++) begin
        @(posedge clk);
        $display("data_out: %h", data_out);
    end
end

第三部分：高级测试方法：使用时间约束和文件读写

3.1 时间约束

在某些情况下，需要对设计单元的时序性能进行验证。这时可以使用 $setuphold、$width 和 $period 等系统函数检查信号的时序特性。

例如，使用 $setuphold 检查时钟上升沿到数据输入变化之间的建立和保持时间：


initial begin
    @(posedge reset);
    for (int i = 0; i < 256; i++) begin
        @(posedge clk);
        #2 data_in = i;
        if (!$setuphold(clk, data_in, 3, 5)) $display("Violation of setup/hold time at i=%d", i);
    end
end

3.2 文件读写

当测试激励或期望结果较大时，可以将其存储在文件中，并在测试平台中使用 $fopen、$fread 和 $fwrite 等系统函数读写文件。

例如，从文件 stimuli.txt 读取测试激励，并将结果写入 results.txt：


integer stimuli_file, results_file;
 
initial begin
    // 打开文件
    stimuli_file = $fopen("stimuli.txt", "r");
    results_file = $fopen("results.txt", "w");
 
    // 读取测试激励
    while (!$feof(stimuli_file)) begin
        int in_value;
        $fscanf(stimuli_file, "%d", in_value);
        data_in = in_value;
        @(posedge clk);
    end
 
    // 关闭输入文件
    $fclose(stimuli_file);
 
    // 写入结果
    for (int i = 0; i < 256; i++) begin
        @(posedge clk);
        $fwrite(results_file, "%h\n", data_out);
    end
 
    // 关闭输出文件
    $fclose(results_file);
 
    // 结束仿真
    $finish;
end

至此，我们已经介绍了 Verilog 测试平台的基本结构、常用测试方法和高级测试方法。掌握这些知识，可以帮助您有效地验证您的设计，并提高设计质量。

声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/Gausst松鼠会/article/detail/661306