The circuit on the picture
below is a full 8-bit adder with 17 inputs: 8-bit operand A (a0
to a7), 8-bit operand B (b0
to b7), and the carry in Cin.
It has 9 outputs: 8-bit result Y (y0 to y7)
and the carry out Cout. The model of this circuit
is contained in the file adder.agm