Constraint for one hot encoded vectors in SV

SystemVerilog
2

In reply to Gokul S:

You can use the $countones system function.


std::randomize (some_var) with {$countones(some_var) == 1;};