In reply to abhi9891:
1800’2017: $rose returns true (1’b1) if the LSB of the expression changed to 1. Otherwise, it returns false (1’b0).
Thus, *$rose(reset) works when there is transition from 0/x/z to 1 and will return true when there is such transition.*is a true statement