验证环境中的program为何必须是automatic

最近在项目中，发现验证环境中的顶层的program(通常将program做为验证环境的入口)，都是automatic的。

 

其实Program默认是static的，那么为何须要把验证环境作成automatic呢？

 

缘由以下：

若是不加automatic，则program中的变量是static，也就是静态的。变量的存储在一个固定的空间。

 

若是使用automatic，则变量是动态分配空间的，这样能够避免对同一个变量操做，形成后面的覆盖前面的状况。

 

 

代码示例以下：

program automatic soc_ver_program();

 

`include "./regs_def.svi"

`include "./driver_inc.sv"

`include "./soc_testcase_inc.sv"

 

initial begin

run_test(); //注意这里的run_test后面不要加参数，这样不须要对不一样用例从新编译，符合UVM方法学相关语法。

end

 

endprogram

 

 

注意:此program里面，调用了run_test()，run_test->create tc -> create env。大体的顺序是这样的。