验证环境中的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。大致的顺序是这样的。