Following code will help you.
property setup_hold_checker;
time current_time;
@(posedge (clk ^ CK_EDGE_SEL))
disable iff (~resetn || disable_assertion)
(1, current_time = $time) |=> @(ev_data_delay) ($time - current_time) ##0 (1,$display("\t **setup_hold_checker**= %t ",(($time - current_time) > (SETUP_TIME+HOLD_TIME))));
endproperty
Regards,
Mitesh Patel