Asynchronous Indicating Logic (Data-dependent logic with Completion Detection)

Technology-Independent Conversion - Example

}Dual-Rail Conversion:

}yt = atbf + bt(ct + df)

}yf = (af + bt)(bf + cfdt)

a.t

b.f

c.f

d.t

x.t

y.f

r.t

s.t

b.t

d.f

y.t

x.f

c.t

a.f

s.f

r.f

20/4/2014

53

CE-653 - Indicating Logic