In reply to dave_59:
LRM 16.13.6 Sequence Methods ::
(1) It can only be used in sequence expressions. Unlike triggered, matched provides synchronization between two clocks by storing the result of the source sequence until the arrival of the first clock tick of the destination sequence after the match.
(2) The matched status of the sequence is set in the Observed region and persists until the Observed region following the arrival of the first clock tick of the destination sequence after the match.
Via (1) "until the arrival of the first clock tick of the destination sequence after the match. "
Via (2) “persists until the Observed region following the arrival of the first clock tick of the destination sequence after the match.”
So RdS.matched is True from Observed Region of TIME:75 to Observed Region of the 1st clock tick of destination sequence i.e TIME : 85
Hence at TIME : 85 when the 1st clock tick of the destination sequence occurs ,the antecedent is True .
I have a question about using :: wait( seq.triggered )
wait statement executes in active region whereas triggered status of the sequence is set in Observed Region .
In System Verilog Event Region I observe a feedback path from Observed region to Active region .
Can I say wait( seq.triggered ) is an example for the feedback path ?