3.6. Predicate Formulas 59
.nC1/-bit add 12.nC2/-bit add 1 module.nC1/-bit add 1a2nC 1 anC 2 anC 1rn r 1 r 0an a 1 a 0p2nC 1 p2nC 2 pnC 1 pn p 1 p 0cc. 2 / c. 1 /Figure 3.1 Structure of a Double-size Add1 Module.
frankie
(Frankie)
#1
3.6. Predicate Formulas 59
.nC1/-bit add 12.nC2/-bit add 1 module.nC1/-bit add 1a2nC 1 anC 2 anC 1rn r 1 r 0an a 1 a 0p2nC 1 p2nC 2 pnC 1 pn p 1 p 0cc. 2 / c. 1 /Figure 3.1 Structure of a Double-size Add1 Module.