What we can’t and can build
Arbiter
B
C
S
B
C
at tB
at tC
Cannot build a Bounded-Time Asynchronous Arbiter
S = 1 if tB < tC - tE
S = 0 if tB > tC + tE
else S = 0 or 1
S valid at time T after MAX(tB, tC)
Lazy
Arbiter
B
C
S
B first
C first
Can build an Unbounded-Time Asynchronous Arbiter
Exactly one output
becomes 1 eventually,
other remains at
stable 0
Previous slide
Next slide
Back to first slide
View graphic version