In reply to Divyaa:
property p2; @(posedge clk) disable iff (rst) (sop==0) until valid; endproperty : p2
assert property(p2);