sv学习(二)--programs

1.program 的封装

program

endprogram

　　

2.program的作用：

给测试环境建模，将验证部分和设计部分有效隔离，主要有以下作用：

  1> 正确初始化验证环境，避免设计和验证平台之间的竞争；

   2> 给设计生成激励；

 

3.program 里面可以包含：

data declarations,
class definitions,
subroutine definitions,
object instances,
one or more initial or final procedures.

4.program 里面不可以包含：

always procedures,
primitive instances, 
module instances, 
interface instances, 
other program instances

 5.program 一般在验证环境的top层实例化，可以嵌套在module 或interface中。

6.仿真结束：program中所有initial块结束，整个模拟调用$finish 结束。