即墨市城乡建设局网站,不用囤货,最新军事新闻最新消息视频,重庆在线高校开放课程平台登录本文将讲述如何使用Verilog 编写一个基础的测试脚本#xff08;testbench#xff09;。在考虑一些关键概念之前#xff0c;先来看看testbench的架构是什么样的。架构包括建模时间、initial块#xff08;initial block#xff09;和任务#xff08;task#xff09;。此文…本文将讲述如何使用Verilog 编写一个基础的测试脚本testbench。在考虑一些关键概念之前先来看看testbench的架构是什么样的。架构包括建模时间、initial块initial block和任务task。此文最后将以一个完整的testbench编写作为示例。在使用verilog设计数字电路时设计人员通常还会创建一个testbench来仿真代码以确保其按预期设计运行。设计人员可以使用多种语言构建testbench其中最流行的是VHDL、Verilog和System verilog。System Verilog 在行业中被广泛应用可能是用于测试的最常用语言但本文仅介绍 verilog 中testbench设计的基本原则。1、Testbench的架构testbench由不可综合的verilog 代码组成这些代码生成被测设计的输入并验证被测设计的输出是否正确输出是否符合预期。下图展示了一个基本testbench的典型架构。激励stimulus block是为 FPGA 设计生成的输入输出校验output checker检查被测模块的输出是否符合预期被测模块design under testDUT即是编写的verilog模块testbench的主要设计目的就是对其进行验证以确保在特定输入下其输出均与预期一致对于较大规模的设计激励和输出校验可以位于单独的文件中也可以将所有这些不同的模块都包含在同一个文件中。 2、例化被测模块编写testbench的第一步是创建一个 verilog 模块作为测试的顶层。与讨论过的verilog module不同在这种情况下设计人员要创建的是一个没有输入和输出的模块。这是因为设计人员希望testbench模块是完全独立的self contained。下面的代码片段展示了一个空模块的语法这可以被用作testbench。module module_name ();//在这里写testbench
endmodule : module_name创建了一个testbench之后必须例化被测设计这可以将信号连接到被测设计以激励代码运行。下面的代码片段展示了如何例化一个被测模块。module_name # (//例化参数.parameter_name (parameter_value)
)
instance_name (//连接端口信号.port_name (signal_name),.port_name (signal_name)
);完成此操作后就可以开始将激励写入testbench。激励包括时钟信号和复位信号以及创建发送到testbench的测试数据。为此需要使用一些尚未学过的 verilog 结构----initial块initial block、foever循环foever loop和时间控制time consuming语句。3、Verilog 中的建模时间Modelling Timetestbench代码和设计代码之间的主要区别是testbench并不需要被综合成实际电路为此可以使用时间控制语句这种特殊结构。事实上这对于创建测试激励至关重要。在 Verilog 中有一个可用的结构----它能够对仿真进行延时。在 verilog 中使用 # 字符后跟多个时间单位来模拟延时。例如下面的 verilog 代码展示使用延时运算符等待 10 个时间单位。#10这里要注意的是代码末尾并没有分号。将延时语句写在与赋值相同的代码行中也很常见这可以有效地行使调度功能将信号的变化安排在延迟时间之后。下面的代码片段是此种情况的一个示例。#10 a 1b1; // 在10个时间单位后a将被赋值为13.1、时间单位Timescale 编译指令在上一节已经讨论了十个时间单位的延时用法但在设计人员真正定义所使用的时间单位之前这样的讨论是毫无意义的。为了指定在仿真期间所使用的时间单位需要使用指定时间单位和时间精度分辨率的 verilog 编译器指令。这只需要在testbench中运行该指令一次而且应在模块外完成。下面的代码片段展示用来在 verilog 中指定时间单位和精度的编译指令。timescale unit_time / resolutionunit_time 指定时间的单位resolution则指定时间精度。resolution 很重要因为设计人员可以使用小数来指定 verilog 代码中的延时。例如如果设计人员想要 10.5ns 的延迟就可以简单地写为 #10.5。因此编译指令中的 resolution 决定了可以实现最小时间的步长即精度。此编译指令中的两个参数都采用时间类型例如 1ps 或 1ns。4、Verilog initial block初始块在initial 块中编写的任何代码都会在仿真开始时执行一次且仅执行一次。下面的 verilog 代码展示了initial 块的一般语法。initial begin//这里写代码
end与 always 块不同在 initial 块中编写的 verilog 代码几乎是不可综合的因此其几乎只被用于仿真。但是在verilog RTL 中也可以使用initial块来初始化信号几乎很少用。为了更好地理解如何使用initial块在 verilog 中编写激励请来看一个基本示例----假设现在想要测试一个基本的两输入与门为此需要编写代码来生成所有可能的四种输入。此外还需要使用延时运算符以在生成不同的输入之间延迟一段时间。这很重要因为这可以允许信号有时间来传播。下面的 verilog 代码展示了在initial块中编写此测试的方法。initial begin// 每隔10个时间单位就生成一个输入and_in 2b00;#10 and_in 2b01;#10 and_in 2b10;#10 and_in 2b11;
end5、Verilog Foever 循环Loop在 verilog testbench中可以使用一种重要的循环类型——foever循环。使用这个构造时实际上是创建了一个无限的循环----这意味着创建了一段在仿真过程中将永远运行的代码。下面的 verilog 代码展示了用来编写foever循环的一般语法。forever begin// our code goes here
end当用其他编程语言编写代码时无限循环一般被视为应极力避免的严重错误。但是verilog 与其他编程语言不同编写 verilog 代码是在描述硬件而不是在编写软件。因此至少有一种情况是可以使用无限循环的----时钟信号。为此需要一种定期连续反转信号的方法foever循环与此相当契合。下面的 verilog 代码展示了如何使用foever循环在testbench中生成一个时钟。需要注意的是所编写的任何循环都必须包含在过程块procedural block中或生成块generate块中。initial beginclk 1b0;forever begin#1 clk ~clk;end
end6、Verilog 系统任务System Tasks在 verilog 中编写testbench时有一些内置的任务和函数可以提供帮助。这些被统称为系统任务或系统函数它们很容易被识别----总是以美元符号$开头。虽然有很多这样的系统任务可用但是这三个是最常用的 $display、$monitor 和 $time。6.1、$display$display 是 verilog 中最常用的系统任务之一。设计人员可以使用它来输出一条消息该消息在仿真时将会显示在控制台上。$display的使用方式与C语言中的printf函数非常类似这意味着设计人员可以轻松地在testbench中创建文本语句并使用它们来显示有关仿真状态的信息。设计人员还可以在字符串中使用特殊字符 (%) 来显示设计中的信号。这样做时还必须使用一个格式字母来决定以何种格式显示变量。最常用的格式是 b二进制、d十进制和 h十六进制。设计人员还可以在这个格式代码前面加上一个数字来确定要显示的位数。下面的 verilog 代码展示了 $display 系统任务的一般语法。此代码片段还包括一个示例用例。//一般语法
$display(string_to_display, variables_to_display);//例子分别用2进制、16进制和10进制来打印x的值
$display(x (bin) %b, x (hex) %h, x (decimal) %d, x, x, x);设计人员可以在 $display 系统任务中使用的不同格式的完整列表如下所示。格式代码描述%b 或 %B显示为二进制%d 或 %D显示为十进制%h 或 %H显示为十六进制%o 或 %O显示为八进制格式%c 或 %C显示为 ASCII 字符%m 或 %M显示模块的层级名称%s 或 %S显示为字符串%t 或 %T显示为时间6.2、$monitor$monitor 函数与 $display 函数非常相似但它一般被用来监视testbench的信号值这些信号中的任何一个改变状态都会在终端打印一条消息。所有的系统任务在使用时都会被综合工具忽略因此甚至可以在verilog RTL 代码中使用 $monitor 语句尽管这并不常见。此系统任务的一般语法显示在下面的代码片段中。此代码片段还包括一个示例用例。//一般语法
$monitor(message_to_display, variables_to_display);//例子监控信号in_a和in_b的值。其中任何一个发生变化都会立即在终端打印出两个信号的值
$monitor(in_a%b, in_b%b\n, in_a, in_b);6.3、$time在testbench中常用的最后一个系统任务是 $time 。这个系统任务可以用来获取当前的仿真时间。在testbench中通常将 $time 与 $display 或 $monitor 一起使用以便在打印的消息中显示具体仿真时间。下面的 verilog 代码展示了如何一起使用 $time 和 $display 来打印信息。$display(Current simulation time %t, $time); //打印当前仿真时间7、Verilog testbench示例接下来将为一个非常简单的电路构建一个testbench以检查其功能的正确性。下面显示的电路是将用于此示例的电路由一个简单的两输入与门以及一个寄存器组成。7.1、创建一个testbench模块在testbench中做的第一件事就是声明一个空模块来写入代码。下面的代码片段展示了此testbench的模块声明。请注意最好让被测试设计的名称与testbench的名称保持相似。一般可以简单地将 _tb 或 _test 附加到被测设计名称的末尾。module example_tb ();//在这里写测试代码
endmodule : example_tb7.2、例化被测模块现在只有一个空白的testbench模块接下来需要例化要测试的设计模块。下面的代码片段展示了如何例化被测模块假设信号 clk、in_1、in_b 和 out_q 之前就已声明。example_design dut (.clock (clk),.reset (reset),.a (in_a),.b (in_b),.q (out_q)
);7.3、生成时钟和复位信号接下来要做的是在testbench中生成一个时钟和复位信号。可以在initial块中为时钟和复位信号编写代码然后使用延时运算符来实现信号状态的变化。对于时钟信号可以使用 forever 关键字在仿真期间持续运行时钟信号。使用此语法将每 1 ns 进行一次反转从而实现500MHz 的时钟频率----选择此频率纯粹是为了实现快速仿真实际上FPGA 中的 500MHz 时钟速率很难实现所以testbench的时钟频率应尽量与硬件时钟频率匹配。下面的 verilog 代码展示了如何在testbench中生成时钟和复位信号。//生成时钟信号
initial beginclk 1b0;forever #1 clk ~clk;
end//生成复位信号
initial beginreset 1b1;#10reset 1b0;
end7.4、编写测试激励信号最后一部分是编写测试激励。为了测试被测电路需要依次生成四种可能输入中的每一种然后需要等待一小段时间让信号通过代码块传播。为此将为输入赋值然后使用延时语句来通过 FPGA 进行传播。如果还想监控输入和输出的值可以使用 $monitor这个系统任务来完成。下面的代码片段展示了相关代码。initial begin$monitor(time%3d, in_a%b, in_b%b, q%2b \n,$time, in_a, in_b, q);in_a 1b0;in_b 1b0;#20 in_a 1b1;#20 in_a 1b0;in_b 1b1;#20 in_a 1b1;
end7.5、完整示例代码下面的 verilog 代码展示了完整的testbench示例。timescale 1ns / 1ps //时间单位1ns精度1psmodule example_tb ();//声明时钟和复位信号
reg clk;
reg reset;//输入和输出信号
reg in_a;
reg in_b;
wire out_q;//例化被测模块
example_design dut (.clock (clk),.reset (reset),.a (in_a),.b (in_b),.q (out_q)
);//生成时钟信号
initial beginclk 1b0;forever #1 clk ~clk;
end//生成复位信号
initial beginreset 1b1;#10 reset 1b0;
end//生成测试激励信号initial begin$monitor(time%3d, in_a%b, in_b%b, q%2b \n,$time, in_a, in_b, q);in_a 1b0;in_b 1b0;#20in_a 1b1;#20in_a 1b0;in_b 1b1;#20in_a 1b1;endendmodule您有任何问题都可以在评论区和我交流本文由 孤独的单刀 原创首发于CSDN平台博客主页wuzhikai.blog.csdn.net您的支持是我持续创作的最大动力如果本文对您有帮助还请多多点赞、评论和收藏⭐
