SV中class的properties和methods默认都是public的,但是可以声明为local和protected。
一个properties声明为local类型的,则只在该class中的methods可以调用该变量。即使subclass也不可以调用。
local interger i;
一个properties或者methods声明为protected,与local类似,但是在subclass中可见。
extern protected virtual automatic task_name();
SV中的Task和Function不需要,必须加一个begin..end来指明body,但是需要加入标识符。
task muliple_line;
......body...
endtask :multiple_line
子功能模块(funciton)在执行到子程序的最后一行就返回,将返回值赋给与功能同名的变量,也可以显式的调用return来返回。
在function中不能再声明一个同名的var,会造成冲突。
task内部是不会返回值的,但是也可以调用return,但是不带返回值。program直接显示调用return。
数组变量到function的传递,通过ref模块或者直接数组变量(数据量会比较大)
SV中module和program,package的子程序默认是静态存储的,当需要动态存储时,仍然需要显式的用automatic显式指出。(class中默认是automatic的)
SV对task和function的参数声明做了优化,声明需要方向声明和类型声明;参数传递可以按port名称对应,也可以按顺序对应。
子程序中的参数缺省值是input logic或者与同一task/function前一个参数的类型相同。大小可以指定默认值或者参数传递时赋值。
verilog对子程序参数的处理是,在进入子程序时,将input和inout的值赋值给子程序本地变量,在子程序返回时将output和
inout的值赋值给模块中的变量。SV中增加了一种方式ref,指定为引用而不是复制。这种方式只能用在automatic的子程序中,这种参数的好处是在子程序中
修改变量对调用它的模块随时可见。
task bus_read(input logic [31:0] addr, ref logic [31:0]data); initial fork
bus.request = 1'b1; bus_read(addr,data);
@(posedge bus.grant) bus.addr =addr; thread2: begin //使用ref类型传递data,这样不需
@(posedge bus.enable) data = bus.data; @data; //要等到bus_read进程结束,
....... $display; //thread2便可以看见data的变化
endtask:bus_read end
join
SV新增的系统函数
elaborate时的函数:
1)$typeof(data_type), 判断某个data或者expression的类型
bit [12:0] A_bus, B_bus;
parameter type bus_t = $typeof(A_bus);
generate
case ($typeof(bus_t))
$typeof(bit[12:0]): addfixed_int #(bus_t) (A_bus, B_bus);
$typeof(real): add_float #($typeof(A_bus)) (A_bus, B_bus);
endcase
endgenerate
关于array的:
1)$size(), 表示array的元素个数
2)$left()/$low(), 表示array的最小元素索引
3)$right()/$high(), 表示array的最大元素索引
4)$dimensions, 表示array的维数