`ifdef SYNTHESIS
`define lag(x) x
`else
`define lag(x) $past(x)
`endif