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

/* Put up first input number */
Switch aa x[3] ZERO;
Switch aa x[2] ZERO;
Switch ba x[1] ZERO;
Switch ba x[0] ZERO;

/* Put up second input number */
Switch da y[3] ZERO;
Switch da y[2] ZERO;
Switch ea y[1] ZERO;
Switch ea y[0] ZERO;

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

/* Probe the outputs */
Probe ae Cout;
Probe be S[3];
Probe ce S[2];
Probe de S[1];
Probe ee S[0];