RATestVecs.tioga
Last Edited by: Ross January 13, 1987 5:34:36 pm PST
Complete check for Ripple Adder. The outputs are as follows:
SUM ← D1 xor D2 xor Carry
GKOUT ← gkin if (D1 xor D2) else D2
POUT ← pin AND (D1 xor D2)
Carry ← CIN if PIN GKIN otherwise
D1 D2 DoAdd Gkin Pin Cin SelAdder | R Gkout Pout
0 0 1 1 1 2 1 | 0 0 0
0 0 1 2 1 1 1 | 1 0 0
0 0 1 2 2 2 1 | 0 0 0
0 0 1 1 2 2 1 | 1 0 0
0 1 1 1 1 2 1 | 1 1 1
0 1 1 2 1 1 1 | 0 0 1
0 1 1 2 2 2 1 | 1 0 0
0 1 1 1 2 2 1 | 0 1 0
1 0 1 1 1 2 1 | 1 1 1
1 0 1 2 1 1 1 | 0 0 1
1 0 1 2 2 2 1 | 1 0 0
1 0 1 1 2 2 1 | 0 1 0
1 1 1 1 1 2 1 | 0 1 0
1 1 1 2 1 1 1 | 1 1 0
1 1 1 2 2 2 1 | 0 1 0
1 1 1 1 2 2 1 | 1 1 0