Dual-Rail
Network Conversion - MBN
20/4/2014
CE-653 - Indicating Logic
35
}Weakly-Indicating
}No input, local node
completion
}Timing assumptions
required for orphan nodes/gates
a.t
b.t
x.t
a.f
b.f
x.f
CD
a
x
b
Original BN:
x
= a b
[x’ = a’ + b’]
DR Equivalent BN:
x.t = a.t b.t
x.f = a.f + b.f
CD = x.t + x.f
