System Verilog——虚方法的使用

本文参考绿皮书8.3

使用虚方法目的

通过在父类里定义虚方法(task or function),可以在当父类句柄调用一个方法时候,前提是若是这个句柄指向了子类对象,则调用的方法为子类的方法而不是父类的方法。

实例理解

将子类句柄赋值成父类句柄

module tb_virtual();
class Transaction;
bit [31:0] src = 100;
function void display();
	$display("Transaction src = %0d",src);
endfunction
endclass

class BadTr extends Transaction;
bit [31:0] bad_src = 200;
function void display();
	super.display();
	$display("BadTr src = %0d",bad_src);
endfunction 
endclass

initial begin
	Transaction tr;
	BadTr bad,bad2; 
	bad = new();  //构建了一个子类的对象
	tr = bad;  //父类的句柄指向子类的对象
	$display(tr.src);//显示父类的变量的内容
	tr.display; //调用的是父类的函数
end 
endmodule

仿真结果为

#        100
# Transaction src = 100

使用虚方法后可以看到打印的输出发生了变化。调用了子类的函数。
在这里插入图片描述

将父类句柄赋值成子类句柄

initial begin
	Transaction tr;
	BadTr bad,bad2; 
	tr = new();//创建一个父类对象
	bad = tr;//将父类对象赋值给子类句柄,ERROR不会执行
	$display(bad.bad_src);//父类对象不存在该成员变量
end 

我的编译环境会报错

# ** Error: (vlog-13216) tb_virtual.sv(21): Illegal assignment to type 'class tb_virtual.BadTr' from type 'class tb_virtual.Transaction': Types are not assignment compatible.

使用系统函数$cast()

initial begin
	Transaction tr;
	BadTr bad,bad2; 
	bad = new();
	tr = bad;  //父类的句柄指向子类的对象
	$cast(bad2,tr);
	if(!$cast(bad2,tr))
		$display("cannot assign tr to bad2");
	$display(bad2.bad_src);
	bad2.display();
end 

打印结果为

#        200
# Transaction src = 100
# BadTr src = 200

结论

  • 通过在父类里定义虚方法(task or function),可以在当父类句柄调用一个方法时候,前提是若是这个句柄指向了子类对象,则调用的方法为子类的方法而不是父类的方法。
  • 将父类对象赋值给子类句柄,ERROR不会执行
  • 父类的句柄指向子类的对象,但是不能访问子类成员,使用虚方法可以访问子类的函数或者任务
  • 使用系统函数$cast()进行类型转换,转换之后的新句柄可以访问函数与变量

附录

所使用的仿真代码

module tb_virtual();
class Transaction;
bit [31:0] src = 100;
virtual function void display();//使用虚方法定义函数
	$display("Transaction src = %0d",src);
endfunction
endclass

class BadTr extends Transaction;
bit [31:0] bad_src = 200;
function void display();
	super.display();
	$display("BadTr src = %0d",bad_src);
endfunction 
endclass

initial begin
	Transaction tr;
	BadTr bad,bad2; 
	bad = new();
	tr = bad;  //父类的句柄指向子类的对象
	$cast(bad2,tr);
	if(!$cast(bad2,tr))
		$display("cannot assign tr to bad2");
	$display(bad2.bad_src);
	bad2.display();
end 
endmodule


//bad = new();  //构建了一个子类的对象
//tr = bad;  //父类的句柄指向子类的对象
//$display(tr.src);//显示父类的变量的内容
//tr.display; //调用的是父类的函数

//initial begin
//Transaction tr;
//BadTr bad,bad2; 
//tr = new();//创建一个父类对象
//bad = tr;//将父类对象赋值给子类句柄,ERROR不会执行
//$display(bad.bad_src);//父类对象不存在该成员变量
//end 
  • 0
    点赞
  • 12
    收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:点我我会动 设计师:我叫白小胖 返回首页
评论
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值