Constraint Randomization of an Array : No consecutive bits should be one and No of ones should be 12

[sbellock]

Seems like you’re looking for

(addr[i] && addr[i+1]) == 0;