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

In reply to dave_59:

Registered. Thanks :)