Marvell Technology Interview Question

Convert the RTL logic to a gatelvel netlist. Constraint question from system verilog.