In reply to Anjali:
Hi Ben,
I have tried the following:
@(posedge clkx) $rose(A) |=> $rose(sig) ##1 (stable(sig)[*1:] ##100 !(B)) intersect $rose(B)[->1];
With that, I am not getting the assertion failure when A pulses, but I get it @ negedge of B
As per my requirements, sig rises @ negedge of A and falls @ posedge of B. Both A and B are pulses. The number of clks between A and B are random.
Thanks,
Anjali