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