}Assumptions (in this
example)
}full-buffer two-phase
handshaking
}dual-rail select
signal
}
}Functionality
}Token on A consumed first
}After token on S = 0
}I.e., S0 changes
}Token on B stalled until
consumed second
}After token on S = 1
}I.e., Once S1 changes
}Result: two tokens on
O
}First = Oreq+
}Second = Oreq-