2013 HVC2013 Bit-Vector System Functions 71 Name $onehot0 $onehot $countones $countbits $isunknown Description Check that at most one bit in a vector is high Check that exactly one bit in a vector is high Count number of bits in a vector with value high Count number of bits having ...