Assertion list
flit (primary) → ReceivesAction
Results from Ascent++: 2
flit → ReceivesAction → received 0.68
flit → ReceivesAction → stored in the buffer 0.41