本文共 6937 字,大约阅读时间需要 23 分钟。
需求说明:Verilog设计基础
内容 :testbench的设计 iout类型端口信号处理
来自 :时间的诗
续
module counter ( clk, reset, enable, count ); input clk; input reset; input enable; output [3:0] count; reg [3:0] count; always @ (posedge clk) if (reset == 1'b1) begin count <= 0; end else if ( enable == 1'b1) begin count <= count + 1; endendmoduletestbench:
module counter_tb; reg clk; reg reset; reg enable; wire [3:0] count; counter U0 ( .clk (clk), .reset (reset), .enable (enable), .count (count) ); initial begin clk = 0; reset = 0; enable = 0; end always #5 clk = ! clk; initial begin $dumpfile ("counter.vcd"); $dumpvars; end initial begin $display("\t\ttime,\tclk,\treset,\tenable,\tcount"); $monitor("‰d,\t‰b,\t‰b,\t‰b,\t‰d",$time, clk,reset,enable,count); end initial #100 $finish; //Rest of testbench code after this lineendmodule
Wire data_out;assign data_out_t = (!link) ? data_inout : 1’bz;else, in RTLinout use in top module(PAD)dont use inout(tri) in sub module也就是说, 在内部模块最好不要出现 inout,如果确实需要,那么用两个 port 实现,到顶层的时候再用三态实现。理由 是:在非顶层模块用双向口的话,该双向口必然有它的上层跟它相连。既然是双向口,则上层至少有一个输入口和一 个输出口联到该双向口上,则发生两个内部输出单元连接到一起的情况出现,这样在综合时往往会出错。 对双向口,我们可以将其理解为 2 个分量:一个输入分量,一个输出分量。另外还需要一个控制信号控制输出分量何 时输出。此时,我们就可以很容易地对双向端口建模。 例子: CODE:
module dual_port ( .... inout_pin, .... ); inout inout_pin; wire inout_pin; wire input_of_inout; wire output_of_inout; wire out_en; assign input_of_inout = inout_pin; assign inout_pin = out_en ? output_of_inout : 高阻; endmodule可见,此时 input_of_inout 和 output_of_inout 就可以当作普通信号使用了。 在仿真的时候, 需要注意双向口的处理。如果是直接与另外一个模块的双向口连接,那么只要保证一个模块在输出的 时候,另外一个模块没有输出(处于高阻态)就可以了。 如果是在 ModelSim 中作为单独的模块仿真,那么在模块输出的时候,不能使用 force 命令将其设为高阻态,而是使用 release 命令将总线释放掉 很多初学者在写 testbench 进行仿真和验证的时候,被 inout 双向口难住了。仿真器老是提示错误不能进行。下面是我个 人对 inout 端口写 testbench 仿真的一些总结,并举例进行说明。在这里先要说明一下 inout 口在 testbench 中要定义为 wire 型变量。 先假设有一源代码为:
module xx(data_inout , ........); inout data_inout; ........................ assign data_inout = (!link) ? datareg : 1'bz;endmodule方法一:使用相反控制信号 inout 口,等于两个模块之间用 inout 双向口互连。这种方法要注意 assign 语句只能放在 initial 和 always 块内。
module test(); wire data_inout; reg data_reg; reg link; initial begin .......... end assign data_inout = link ? data_reg : 1'bz; endmodule方法二: 使用 force 和 release 语句,但这种方法不能准确反映双向端口的信号变化,但这种方法可以反在块内。
module test();wire data_inout;reg data_reg;reg link;#xx; //延时force data_inout = 1'bx; //强制作为输入端口...............#xx;release data_inout; //释放输入端口endmodule很多读者反映仿真双向端口的时候遇到困难,这里介绍一下双向端口的仿真方法。一个典型的双向端口如图所示。
module bidirection_io( inner_port, out_en, outer_port ); input out_en; inout[7:0] inner_port; inout[7:0] outer_port; assign outer_port = (out_en==1) ? inner_port : 8'hzz; assign inner_port = (out_en==0) ? outer_port : 8'hzz; endmodule仿真时需要验证双向端口能正确输出数据,以及正确读入数据,因此需要驱动 out_en 端口, 当 out_en 端口为 1 时,testbench 驱动 inner_port 端口, 然后检查 outer_port 端口输出的数据是否正确; 当 out_en 端口为 0 时, testbench 驱动outer_port 端口, 然后检查 inner_port 端口读入的数据是否正确。由于 inner_port 和 outer_port 端口都是双向端口 (在 VHDL 和 Verilog 语言中都用 inout 定义),因此驱动方法与单向端口有所不同。 用 Verilog 代码编写的 testbench 如下,其中使用了自动结果比较,随机化激励产生等技术。
`timescale 1ns/10psmodule tb(); reg [7:0] inner_port_tb_reg; wire [7:0] inner_port_tb_wire; reg [7:0] outer_port_tb_reg; wire [7:0] outer_port_tb_wire; reg out_en_tb; integer i; initial begin out_en_tb=0; inner_port_tb_reg=0; outer_port_tb_reg=0; i=0; repeat(20) begin #50 i=$random; out_en_tb=i[0]; //randomize out_en_tb inner_port_tb_reg=$random; //randomize data outer_port_tb_reg=$random; end end //**** drive the ports connecting to bidirction_io assign inner_port_tb_wire=(out_en_tb==1)?inner_port_tb_reg:8'hzz; assign outer_port_tb_wire=(out_en_tb==0)?outer_port_tb_reg:8'hzz; //instatiate the bidirction_io module bidirection_io bidirection_io_inst( .inner_port (inner_port_tb_wire), .out_en (out_en_tb), .outer_port (outer_port_tb_wire) ); //***** monitor ****** always@(out_en_tb,inner_port_tb_wire,outer_port_tb_wire) begin #1; if(outer_port_tb_wire===inner_port_tb_wire) begin $display("\n **** time=%t ****",$time); $display("OK! out_en=%d",out_en_tb); $display("OK! outer_port_tb_wire=%d,inner_port_tb_wire=%d", outer_port_tb_wire,inner_port_tb_wire); end else begin $display("\n **** time=%t ****",$time); $display("ERROR! out_en=%d",out_en_tb); $display("ERROR! outer_port_tb_wire != inner_port_tb_wire" ); $display("ERROR! outer_port_tb_wire=%d, inner_port_tb_wire=%d", outer_port_tb_wire,inner_port_tb_wire); end end endmodule
synopsys vera support verification. bench : vera produce
DUT:
ref module: vera monitor: vera coverage analysis : VCS or vera vera can load c, C++ file . systemverilog 应该是以后的趋势 一些 random scenario 与 tlm base model 都可以用systemverilog 完成 而一个好的 framework 很重要现在有两各 framework 可以选择vmm, ovm 不过要用上述的 framework 需要很大的 oop 基础要花很长时间学习 关于 systemC 或者 system verilog,大家可以查找相关文档。