$onehot 和 $onehot0的区别
时间：10-02
整理：3721RD
点击：
SVA中，$onehot(expr) return true if exactly one bit of expr is high
$onehot0(expr) return true if at most one bit of expr is high
是不是说$onehot(expr)只有expr的一个bit为1，其余为0才返回1
$onehot0(expr)只有expr的一个bit为1，其余为0 或 expr 全为0 才返回1
这个理解对吗?
$onehot0(expr) return true if at most one bit of expr is high
是不是说$onehot(expr)只有expr的一个bit为1，其余为0才返回1
$onehot0(expr)只有expr的一个bit为1，其余为0 或 expr 全为0 才返回1
这个理解对吗?
onehot0是至少有1bit为1吧
对着