Intel Corporation interview question

Constraint and assertion , gate level simulation