parameter N=8 ; // optional to make the constraint generic for any size bit [N-1:0] value ; constraint c_value { $countones(value) = N/2 ; // $countones returns number of 1's } //Additional optional constraint constraint c_value_size{ N%2 = 0 ; // size should be even to have 0/1 equal distribution }