最近在项目中，发现验证环境中的顶层的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。大致的顺序是这样的。