System Verilog验证之数据类型

1、逻辑(logic)类型

logic不同于reg和wire类型，它不仅可以作为一个变量，还可以被连续赋值、门单元和模块所驱动，但是logic类型只能有一个驱动。

2、双状态数据类型

System Verilog双状态数据类型有bit(无符号)、byte(有符号)、shortint(有符号)、int(有符号)、longint(有符号)。
值得注意的是，当将双状态变量连接到DUT时，DUT输出的X或Z值，会被转换成双状态值，从而导致变量未知值的传播而未被测试代码检测出来。这里推荐使用($ isunknown)操作符，可在表达式的任意位出现X或Z时返回1，如下所示：

if($isunknown(port) == 1)
        $display("port value is Z or X!");