In reply to prashantk:
But the thing is final keyword is not compliant with 1800-2009 LRM so I used the later code.One more thing is I want my assertion to starts only after certain time stamp … Is there any way to do that ?.
The use case is that I am applying my assertion to a signal that rises in the initial , but its natural behavior starts from its second rising edge (so on…) , so I want to skip this signal’s first edge and apply my assertion throughout the simulation for all other edges of this signal , otherwise I am keep getting error for the first edge of this signal itself.
See the code below : -
$rose(signal[a]) && $rose(signal[b]) |-> $fell(signal[c]);
But the catch is …at the start of the simulation , after the reset is deserted …signal[a] and signal[b] rises simultaneously and at that time signal[c] doesn’t rise …but for the lateral edges this code works fine.(That is when edges of a and b are in sync.)