SVA: is $rose($past(...)) legal?

In reply to ssureshg_:

It’s legal based on the syntax.
In general, it’s better to write forward looking, cause /effect, types of properties.
Ben systemverilog.us