Я пытаюсь понять, когда использовать $rose
для сигнала в утверждении. Например, каким образом два приведенных ниже утверждения будут вести себя по-разному?
first:assert property
(@(posedge clk) $rose(reset) |-> (data == 0));
second: assert property
(@(posedge clk) reset |-> (data==0));
это $rose
должно использоваться с асинхронными сигналами?