ここで機能するプロパティの例に遭遇しました：
property p_a;
@(posedge clk) $rose(a) -> $rose(b);
endproperty
上記の構文エラーはありません。
次に、これに変更しようとしました
property p_a;
@(posedge clk) $rose(a) -> ##2 $rose(b);
endproperty
これにより、実際には「|->」ではないことに気付くだけで、構文エラーが発生します
property p_a;
@(posedge clk) $rose(a) |-> ##2 $rose(b);
endproperty
これは機能しますが、->実際にここにあるプロパティのシンボルは何ですか? 私は通常、イベントをトリガーすることを知っています。