Intel Corporation Interview Question

Constraint and assertion , gate level simulation