In reply to Ashmika:
1. a signal is high.
2. N widow of clocks
3. M signal stays. Assumption: signal stays continuously for M clock cycles.
property
@(posedge clk)
$rose(signal) |-> 1[*N] intersects signal[*M]
endproperty
In reply to Ashmika:
1. a signal is high.
2. N widow of clocks
3. M signal stays. Assumption: signal stays continuously for M clock cycles.
property
@(posedge clk)
$rose(signal) |-> 1[*N] intersects signal[*M]
endproperty