第14章对验证支持.pptVIP

矢量采样 在仿真过程中可以对激励和响应矢量进行采样，作为其它仿真的激励和期望结果。 module capture_tb; parameter period = 20 reg [7:0] in_vec, out_vec; integer RESULTS, STIMULUS; DUT u1 (out_ vec, in_ vec); initial begin STIMULUS = $fopen(stimulus. txt) ; RESULTS = $fopen(results. txt) ; fork if (STIMULUS != 0 ) forever #( period/2) $fstrobeb (STIMULUS, %b, in_vec); if (RESULTS != 0 ) #( period/2) forever #( period/2) $fstrobeb (RESULTS, %b, out_vec); join end endmodule 矢量回放 保存在文件中的矢量反过来可以作为激励 module read_; parameter num_vecs = 256; reg [7:0] data_bus; reg [7:0] stim [num_vecs-1:0]; integer i; DUT u1 (results, data_bus) initial begin // Vectors are loaded $readmemb (vec. txt, stim); for (i =0; i num_vecs ; i = i + 1) #50 data_bus = stim[i]; end endmodule // 激励文件vec.txt . . 使用矢量文件输入/输出的优点： 激励修改简单 设计反复验证时直接使用工具比较矢量文件。 错误及警告报告 使用文本或文件输出类的系统任务报告错误及警告 always @( posedge par_err) $display ( error-bus parity errors detected); always @( posedge cor_err) $display(warning-correctable error detected); 一个更为复杂的test bench可以： 不但能报告错误，而能进行一些动作，如取消一个激励块并跳转到下一个激励。 在内部保持错误跟踪，并在每次测试结束时产生一个错误报告。 强制激励 在过程块中，可以用两种持续赋值语句驱动一个值或表达式到一个信号。 过程持续赋值通常不可综合，所以它们通常用于测试基准描述。 对每一种持续赋值，都有对应的命令停止信号赋值。 不允许在赋值语句内部出现时序控制。 对一个寄存器使用assign和deassign，将覆盖所有其他在该信号上的赋值。这个寄存器可以是RTL设计中的一个节点或测试基准中在多个地方赋值的信号等。 initial begin #10 assign top.dut.fsm1.state_reg = `init_state ; #20 deassign top.dut.fsm1.state_reg ; end 在register和net上（例如一个门级扫描寄存器的输出）使用force和release，将覆盖该信号上的所有其他驱动。 initial begin #10 force top. dut. counter. scan_ reg. q = 0 ; #20 release top. dut. counter. scan_ reg. q ; end 强制激励 可以强制(force)并释放一个信号的指定位、部分位或连接，但位的指定不能是一个变量（例如out_vec[i]） 不能对register的一位或部分位使用assign和deassign 对同一个信号，force覆盖assign。 后面的assign或force语句覆盖以前相同类型的语句。 如果对