Assertion type

In reply to juhi_p:

In reply to ramDV:

@(negedge sda) (1,current_time=$realtime) |-> 
@(posedge sclk) (time_period<= $realtime-current_time);

add this line.

still getting same error