30 bit number with constraints

[RahulPatel]

In reply to Shashank Gurijala:

 // any 10 bits are high at random position between 29 to 0
 rand int var1;
 constraint c1 { $countones(var1) == 10; var1[31:30] == 0; }