System Verilog中的OOP

System Verilog中的OOP

---

---

前言

super函数：扩展类中可以通过super前缀调用基类中的函数
可以调用上一层类的成员，但是SV不允许使用类似super.super.new的方式进行多层调用
将类中的子程序定义成虚拟的，这样就可以在扩展类中重新定义，这一点适用于所有的任务和函数，除了new函数

属性：OOP中类的变量
原始类：父类或者超类
拓展类：派生类或者之类
基类：不从任何其它类派生的道德类
子程序的原型：指明了参数列表和返回类型的第一行

1、定制构造函数

当调用new函数例化一个对象的时候，是在为该对象申请一个新的内存块来保存对象的变量。构造函数除了分配内存外，他还会初始化变量（默认情况下，二值变量设为0，四值变量设为X）。可以通过自定义new函数将默认值设为想要的数值。new函数本身不能有返回值，因为构造函数总是返回一个指向类对象的句柄，其类型就是类本身。
简单的自定义new（）函数：

class transaction；
	logic [31:0] addr,crc,data[8];
	function new(logic[31:0] a=3 , d=5 );
		addr =3 ;
		foreach (data[i])
			data[i]=d;
	endfunction 
endclass
initial begin 
	transaction tr;
	tr=new(10);
end

new()函数创建了一个对象，而new[]操作建立一个含有多个元素的数组。

2、对象的解除分配：

	transaction t;
	t=new(); //分配一个新的transaction
	t=new(); //分配第二个，解除第一个
	t=null;  //解除分配第二个

SV在没有任何一个句柄指向对象的时候自动回收垃圾。

3、静态变量和全局变量

SV中，可以在类中用static关键字创建一个静态变量，该变量将会被这个类的所有实例所共享，并且它的使用范围仅限这个类。

	class transaction;
		static int count=0;
		int id;
		function new();
			id=cout++;
		endfunction
	endclass

每构造一个新的对象，他就被标记为一个唯一的值，同时，count+1。
使用静态变量时需要保证在创建第一个对象前就已经初始化了静态变量。
通过类名可以访问静态变量：transaction::count;
通过句柄引用静态变量：tr.count。

使用静态存储的句柄、方法：
static Config cfg;
static function void dis_stat();

静态存储的一个用途就是在类的每一个实例都需要从同一个对象获取信息的时候，如果该位在该类定义成了非静态句柄，那么每一个对象都会有一份该位的拷贝，造成内存的浪费。

4、作用域规则

SystemVeriog增加了一个被称为$root的隐含的顶级层次。任何在模块边界之外的声明和语句都存在于root空间中。所有的模块，无论它处于哪一个设计层次，都可以引用root中声明的名字。
作用域是一个代码块，例如一个模块、一个程序、任务、函数、类或者bengin end块。for和foreach 循环自动创建一个块，所以下标变量可以作为该循环作用域的局部变量来声明和创建。
this：当使用一个变量名的时候，SV将先在当前作用域寻找，接着在上一级作用域寻找，直到找到该变量为止。而“this”明确地告诉SV你正在将局部变量name赋给类一级变量name。
this.name=name;

5、动态对象

当你调用一个带有标量变量的方法并且使用ref关键字的时候，SV传递该标量的地址，所以方法也可以修改标量变量的值。如果不使用ref关键词，SV会将该标量的值复制到参数变量中，对该参数变量的任何改变不会影响原变量的值。

6、对象的复制

对象的复制：
使用new操作符：
src=new；
dst=new src；
他创建了一个新的对象，并且复制了现有对象的所有变量，已经定义的任何new函数不会被调用。

7、公有和私有

在system verilog中，所有成员都是公有的，除非标记为local或者protected。

8

扩展类的构造函数（new函数）
如果基类的构造函数有参数，那么扩展类必须有一个构造函数且必须在其构造函数的第一行调用基类的构造函数。

驱动类：
OOP的规则指出，指向基类的句柄也可以用来指向派生类的对象，所以可以不做任何修改就将扩展类对象送入驱动器。
（根据该特性可以在定义base_item的时候不加约束，扩展出子类item添加约束，并送入driver中的基类句柄，方便不同激励约束的切换）

当子类和父类中定义了同名虚函数，那么在调用的时候会由存储在句柄的对象类型来决定调用哪一函数。