SV中$cast----子类句柄与父类句柄转化问题

在说明$cast的用法之前,我们先思考一个问题,子类句柄可以指向哪些对象?父类句柄可以指向哪些对象?
如下图所示,需要明确:
1)子类句柄只能指向子类对象,不能指向父类对象。
2)父类句柄可以指向父类对象,也可以指向子类对象(这是因为多态-virtual的存在,父类得以引用子类对象中的同名成员,该引用不能访问子类新增加的成员)。

因此当子类句柄指向父类对象时,仿真将报错。
SV中$cast----子类句柄与父类句柄转化问题_第1张图片
SV中$cast----子类句柄与父类句柄转化问题_第2张图片
现在回到$cast的用法:

$cast(子类句柄,父类句柄)

其会检查该两种句柄所指向的对象是不是相同的,如果是则返回1,否则则0。
可以理解为将父类句柄赋值给子类句柄,即将子类句柄指向父类句柄所指向的对象。此时若父类句柄指向的是子类类型的对象则结果就是子类句柄指向子类对象,仿真不会报错,但如果父类指向的是父类对象则结果就是子类句柄指向了父类对象,这是仿真不允许的,会报错。
因此简而言之:$cast会检查父类句柄是不是指向子类对象,是则转化成功,否则失败。

你可能感兴趣的:(SV,验证,IC,验证)