Difference in output using ##[0:$] $rose( b ) V/S $rose( b )[->1]

SystemVerilog
,
4

In reply to Have_A_Doubt:


($rose(a), a_rose = $realtime) |-> first_match( ##[0:$] $rose(b) ) ##0 ( ($realtime - a_rose) > 2ns ); // OK 
// Better coding 
($rose(a), a_rose = $realtime) |-> ##[0:$] $rose(b)[->1]  ##0 ( ($realtime - a_rose) > 2ns );