In reply to ssureshgverifier@gmail.com:
Got this answer from a colleague who has extensively used formal verification:
"if I want to state that property P1 is true when we assume property P2, I think the most straightforward method would be
assert property (P2 implies P1)
Or am I missing some subtlety in the question?"
Ben systemverilog.us