In reply to satyendrasoni05:
I observe that in the edalink within the consequent you have written 'i_gpio' instead of '$rose(i_gpio)'
The reason why the assertion doesn't fail is it's waiting for sequence: ( $rose(i_gpio) ) && (($realtime - oe_rose) > 2ns)) to occur/match .
In your case the sequence doesn't match since: (($realtime - oe_rose) > 2ns) isn't true.
Based on the intention the assertion should be written as:
property oe_to_i_gpio_rise(gpio_oe, i_gpio);
@(posedge clk_rmii_i) disable iff (!rst_n)
($rose(gpio_oe), oe_rose = $realtime) |-> $rose(i_gpio)[->1] ##0 (($realtime - oe_rose) > 2ns);