带8051验证环境的七点备忘
1.需要设置CPU最大运行周期数max_cycle，以防止case死掉
1 always@(posedge clkcpu) begin
2 cycle_count=cycle_count+1;
3 if(cycle_count>test.max_cycle) fail_finish;
4 end
2.需要有统一的功能错误err和断言错误assert_err统计，以便于self-check
1 property p_etimer;
2 @(posedge clk)
3 disable iff(!rst_n)
4 $fell(etimer_cfgok) |-> (cnt==0);
5 endproperty
6 etimer_assert: assert property(p_etimer)
7 else begin
8 test.assert_err++;
9 end
1 task compare;
2 input[255:0] str;
3 input[7:0] expected, measured;
4 begin
5 if(expected===measured);
6 else begin
7 $display("%tns, %s, FAIL: expect=%h, measured output=%h\n", $time, str, expected, measured);
8 test.err++;
9 end
10 end
3.需要有随机种子seed实现CRT，在perl中产生，在testbench中调用
perl：
1 sub anay_cmd_line{
2 my @para = @_;
3 my $i;
4 for($i=0; $i<@para; $i++){
5 if($para[$i] =~ /-s(\d+)/){
6 $set_seed = $1;
7 }
8 elsif($para[$i] =~ /-seed/){
9 $i++;
10 $set_seed=$para[$i];
11 if($set_seed =~ /0x/) {$set_seed=hex($set_seed);}
12 }
13 }
14 }
1 if($set_seed==0) {$seed=int(rand(2**10));}
2 else{$seed=$set_seed;}
3 $cfg_set_name="seed";
4 $cfg_set_val=$seed;
5 $script_set{$cfg_set_name}=$cfg_set_val;
verilog:
1 initial begin
2 $readmemh("cfg.set", cfg_set);
3 seed=cfg_set[0];
4 $display("seed: %d", seed);
5 end
4.需要有统一的PASS/FAIL函数，便于regression
其中需要征用一部分SRAM地址作为driver地址，使用下面两个模块分别作为driver的控制位和状态位。
PASS/FAIL函数则对应上述其中一个地址。
1 module Mdrv_ctrl_reg(
2 input[15:0] addr,
3 output reg[7:0] data,
4 output reg updata
5 );
6
7 always@(negedge `RAM.cen) begin
8 if(~`RAM.wen && ~`RAM.cen && (`RAM.A==(addr-16'h4800))) begin
9 data=`RAM.D;
10 update=1;
11 #1;
12 update=0;
13 end
14 end
15 endmodule
1 module Mdrv_status_reg(
2 input[15:0] addr,
3 input[7:0] reg_data,
4 );
5 endmodule
5.show函数实现打印功能，以便于debug
打印字符使用如下类似代码：
1 always@(posedge act_show_str) begin
2 show_pointer = show_addr;
3 show_byte = `ROM[show_pointer];
4 while(show_byte !=0) begin
5 $write("%c", show_byte);
6 show_pointer = show_pointer+1;
7 show_byte=`ROM.[show_pointer];
8 end
9 $write("\n");
10 end
6.使用DPI将reference model与testbench连接
C函数sndr_eval在systemverilog中如下定义：
1 module dsp_connect;
2 import "DPI-C" function void sndr_eval(
3 input int data_i[],
4 input int data_q[],
5 input real fs,
6 output real sndr,
7 );
8 always@(posedge clk) begin
9 sndr_eval(data_i, data_q, fs, sndr);
10 end
11 endmodule
编译C的gcc命令如下：
gcc -m64 -fPIC -shared -o libdpi.so sndr_eval.c -I /appl/tools/cadence/INCISIV1410/tools.lnx86/inca/include/
testbench中还需要将编译C后的LIB在脚本perl中声明一下：
$ENV{'LD_LIBRARY_PATH'}="/proj/laoshan/.../sndr/c";
7.RAM必须初始化后才能使用，不然后仿真会出现很多不定态x
