property
@(posedge clk)
$fell (irdyn) ##[0:5] !(devseln) ##0 stopn → (! irdyn) [*0:16] ##0 !trdyn;
endproperty
waveform for this assertion and explanation
And i am getting confused of (!) using inside the brackets and outside the brackets
Thanks in advance
In reply to Appubk@2001:
Interestingly, you got a waveform out of this assertion that has an incorrect syntax.
What are your requirements?
Where is your code and TB?
In reply to ben@SystemVerilog.us:
It is just a theory question asked in interview to draw the waveform for this assertion
In reply to Appubk@2001:
Maybe worth asking ChatGPT to explain to you and read further to clarify. Nothing beats running the code at your end and looking at waves.
Good luck
