#include "basic.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;

Full_Adder ac x[3] y[3] Cc   | Cout s[3];
Full_Adder bc x[2] y[2] Cb   | Cc s[2];
Full_Adder dc x[1] y[1] Ca   | Cb s[1];
Full_Adder ec x[0] y[0] ZERO | Ca s[0];

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