【芯片前端】一键生成简易版本定向RTL验证环境的脚本——auto_verification

原创已于 2022-05-27 23:09:48 修改 · 3.2k 阅读

12 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#verilog #芯片 #systemverilog #uvm #python

于 2022-03-26 19:07:57 首次发布

芯片前端设计同时被 3 个专栏收录

81 篇文章

订阅专栏

芯片前端脚本

63 篇文章

订阅专栏

芯片前端验证

57 篇文章

订阅专栏

本文介绍了一种一键生成芯片前端RTL验证环境的Python脚本，适用于verilog和systemverilog项目。通过指定-t参数设置顶层模块名，-f参数可以指向单个文件或包含顶层模块的文件夹。脚本会自动搬运RTL代码并创建测试平台，用户只需手动添加激励即可开始验证。提供了两个测试示例，包括针对单个mem模块的验证和处理包含多个文件的目录。资源链接供下载脚本。

使用示例

下载解压于安装有vcs的虚拟机中，如安装路径为：

/home/xiaotu/my_work/auto_verification/

则执行脚本：

/home/xiaotu/my_work/auto_verification/auto_verification -t xxx -f ./xxx.v

-t：顶层名称；

-f：顶层文件，或包含顶层文件的文件夹；当为顶层文件时，文件名可以和顶层名不一致但必须含有顶层module的代码；当为文件夹时，其内部必须包含顶层.v文件；

测试1：-f mem.v，文件内只有一个mem

执行结果：

[xiaotu@xiaotu-eda ~]$my_work/auto_verification/auto_verification -t mem -f my_work/vcs_demo/rtl/mem.v
gen over! please cd ./mem_verification/sim

此时，rtl已经被搬运到对应的mem_verification/rtl目录，同时生成testbench（部分）：

parameter DATA_WD = 32;
parameter DEPTH = 512;
parameter DELAY = 3;
parameter ADDR_WD = $clog2(DEPTH);
parameter ERR_1BIT = 0;
parameter ERR_2BIT = 1;
parameter EOF = 0;

logic  clk;
logic  rst_n;
logic  i_wr_en;
logic  i_rd_en;
logic [ADDR_WD -1:0] i_addr;
logic [DATA_WD -1:0] i_data;
logic [DATA_WD -1:0] o_rdata;
logic  o_1bit_event;
logic  o_2bit_event;
logic [ADDR_WD -1:0] o_mem_err_addr_1bit;
logic [ADDR_WD -1:0] o_mem_err_addr_2bit;

initial forever #5ns clk = ~clk;
initial begin
    rst_n = 1'b0;
	`DELAY(30, clk);
	rst_n = 1'b1;
end
initial begin
    #100000ns $finish;
end

initial begin
    i_wr_en = 0;
    i_rd_en = 0;
    i_addr = 0;
    i_data = 0;
    `DELAY(50, clk);
end

mem #(
    .DATA_WD(DATA_WD),
    .DEPTH(DEPTH),
    .DELAY(DELAY),
    .ADDR_WD(ADDR_WD),
    .ERR_1BIT(ERR_1BIT),
    .ERR_2BIT(ERR_2BIT),
    .EOF(EOF)) 
u_mem(
    .clk(clk),
    .rst_n(rst_n),
    .i_wr_en(i_wr_en),
    .i_rd_en(i_rd_en),
    .i_addr(i_addr),
    .i_data(i_data),
    .o_rdata(o_rdata),
    .o_1bit_event(o_1bit_event),
    .o_2bit_event(o_2bit_event),
    .o_mem_err_addr_1bit(o_mem_err_addr_1bit),
    .o_mem_err_addr_2bit(o_mem_err_addr_2bit)
);

endmodule

然后呢要做的事就是在mem例化的上方，手动去force下信号驱动，定向构造一些激励。

执行下：

[xiaotu@xiaotu-eda ~]$my_work/auto_verification/auto_verification -t triffic_light -f ./triffic_light
gen over! please cd ./triffic_light_verification/sim

后续的流程一样，我就不贴图了。