I am trying to check a basic handshake protocol with the $fell and $past tasks.
@(posedge clk) disable iff (!resetn) $fell(valid) |-> $past(enable)
However at the first clock edge in the testbench, the assertion is triggering. A bit of searching shows similar issues from others but no real solution.
At the first positive clock edge resetn is high and valid is low and enable is high. I am not sure why this causes the assertion to trigger or how to deal with this in the assertion itself (assume I cannot play with the testbench and reset mechanisms).