System Verilog的抽象类（abstract class）和纯虚方法（pure virtual ）

在验证工作中，我们期望搭建的验证环境能高度重用，并且易于扩展。抽象类和纯虚方法就使我们可以搭建一个通用的验证环境模板，并基于该模板扩展为期望的验证环境。

1、抽象类

抽象类用作基类，我们会在此基础上扩展许多功能类，抽象类通过virtual关键字定义，如下：

virtual class BasePackt;
	...
endclass

2、纯虚方法

在抽象类中，可以定义没有实体的方法原型，即纯虚方法，使用pure virtual修饰，如下：

virtual class BasePackt;
	pure virtual function int send(bit[31:0] data);
endclass

3、抽象类和纯虚方法

抽象类与纯虚方法如下：

virtual class BasePackt;
	static int count;
	int id;
	
	function new();
		id=count++;
	endfunction
	
	pure virtual function int send(bit[31:0] data);
	pure virtual function void display(int k);
endclass

可以声明BasePackt的句柄，但是不能实例化该类型对象，需要基于BasePackt扩展一个非抽象对象，即所有的纯虚方法都有具体实现。基于抽象类BasePackt扩展为非抽象类：

class Trans extends BasePackt;
	rand bit[31:0] addr,data;
	rand bit[11:0] length;
	
	function new();
		super.new();
	endfunction
	
	virtual function int send(bit[31:0] data);
		send_data(data);
	endfunction
	
	virtual function void display(int k);
		$display("k = %0d",k);
	endfunction
endclass

tips:

1、抽象类不能被直接实例化；
2、一个由抽象类扩展而来的类，要想被实例化（即成为一个非抽象类），只能在所有的纯虚方法都有实体，变成虚方法后才能实例化；
3、纯虚方法是一个原型，不是一个空的虚方法。空的虚方法如下,可以调用它，但它会立即返回：

virtual fucntion int send(bit[31:0] data);
endfunction

4、纯虚方法只能在抽象类中定义，但抽象类中也能定义非纯虚方法