I have an assertion along the lines of :
assert property( @(posedge clk) A |-> B );
When I run this on Cadence, I get that the assertion failed. Looking at the waveform (counter example), it shows that when A occurs on the negedge of the clock, Cadence is still checking to see if B happened. And when it doesnt, says the assertion has failed. ...