Question

断言一般被用来计算一个设计实现的某些特定属性，例如一个特定的信号是否为“热点（one-hot）”。SystemVerilog中包含下列系统函数来促进这些基本的断言功能：

• $onehot(<expression>) ：如果表达式中只有一位为高，那么返回“真”。
• $onehot0(<expression>) ：如果表达式中至少有一位为高，那么返回“真”。
• $isunknown(<expression>) ：如果表达式任何一位为X或Z，那么返回“真”，等价于：^<expression> === 'bx。

所有上述的系统函数都具有一个bit类型的返回值。1'b1的返回值指示“真”，1'b0的返回值指示“假”。

为布尔表达式提供的另外一个有用的函数是$countones，它可以计算一个位向量表达式中1的数目。

$countones(expression)

值为X和Z的位不会被计数到1的数目。