022天津同城交友网

标题: $onehot 和 $onehot0的区别 [打印本页]

作者: 普通 时间: 2020-3-9 20:50
标题: $onehot 和 $onehot0的区别
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

这个理解对吗？

作者: 开心青年 时间: 2020-3-9 20:50
onehot0是至少有1bit为1吧

欢迎光临 022天津同城交友网 (http://www.btlz.cn/)