AMD Interview Question

System verilog constraint and assertion