#include "full-4-bit-adder.h"
/* ------------------------- 
   MAIN to test 4-bit-adder.h
   ------------------------- */

/* Put up first input number */
Switch "0:a3" aa x[3] ZERO;
Switch "1:a2" aa x[2] ZERO;
Switch "2:a1" ba x[1] ZERO;
Switch "3:a0" ba x[0] ZERO;

/* Put up second input number */
Switch "4:b3" da y[3] ZERO;
Switch "5:b2" da y[2] ZERO;
Switch "6:b1" ea y[1] ZERO;
Switch "7:b0" ea y[0] ZERO;

Switch "8:Cin" ga Cin ZERO;

/* Now the 4 bit adder */
Full_Four_Bit_Adder ab-ed Cin x[3..0] y[3..0] | Cout S[3..0];

/* Probe the outputs */
Probe "Cout" ae Cout;
Probe "s3" be S[3];
Probe "s2" ce S[2];
Probe "s1" de S[1];
Probe "s0" ee S[0];