In reply to Maitri@07:
I believe you want
property check_out_val(outval,writes,command);
int temp_data1,temp_data2;
@(posedge amd_apb_if.PCLK) disable iff(amd_apb_if.rst)
command |-> (1,temp_data1 = writes) ##1 (1,temp_data2 = writes) ##3 (outval == (temp_data1 + temp_data2)) ;
endproperty