Three Module Example
Detailed Event Sequence



EventTimeDeltaDescriptionResolved Signal AResolved Signal B
10 ns1Source executes place_token on Apresentremoved
25 ns1Delay executes place_token on B----present
35 ns2Sink executes ack_token on B----acked
45 ns3Delay executes release_token on B----released
5Delay executes ack_token on Aacked----
65 ns4Sink executes remove_token on B----removed
7Source executes release_token on Areleased----
85 ns5Delay executes remove_token on Aremoved----
110 ns1Source executes place_token on Apresent----

Copyright University of Virginia Center for Semicustom Integrated Systems. Reprinted with permission.