In reply to DVtrojan:
In reply to Rahulkumar:
Hi Rahul Could you please explain the consecutive concept with using shift operator? minus 1 concept?
constraint c1 { var1 == { ((1<<10)-1)<< N}; N inside {[0:20]}; var1[31:30] == 0; }
var1 == { ((1<<10)-1)<< N};
// want to generate 10 consecutive one
(1 << 10) => 100_0000_0000
(1 << 10)-1 => 011_1111_1111
((1<<10)-1)<< N => Now will left shift this data by N