In reply to shanthi:
The check should fail also when bus B changes on the rising edge of A. Is this working on this case also?
Or instead of
@(posedge clk) $rose(A)|=> $stable(B)[*2];
shoud is use overlaping “|->” ? Like this:
@(posedge clk) $rose(A)|-> $stable(B)[*2];