Constraint for one hot encoded vectors in SV

In reply to rag123:
The limit for randc is simulator specific.