Generate a constraint for the sequence 101100111000… without using pre and post randomize
This exact question was asked two days ago.