title: System verilog assertion - $rose
body: <p><a href="https://i.stack.imgur.com/PNEJJ.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/PNEJJ.png" alt="enter image description here"></a>I want to write an assertion where it says the req should go high 4 cycles after next posedge of done. For me at reset the done is already high. How can I make request go high at next posedge of done.<code>assert property {$rose(done) |-&gt; ##4 req}</code> But I dont know why it is not working. Can anybody please help?</p>