#include <iostream>
#include <iomanip>

#include "systemc.h"
#include "systemc"
#include <sysc/tracing/sc_trace.h>
#include <sysc/tracing/sc_vcd_trace.h>

#include "cpu_full_adder.hpp"

SC_MODULE(test_cpu_full_adder)
{
	sc_out<bool> a,b,c;
	sc_in<bool> clk;

	void test_cpu_full_adder_stim()
	{
		wait();
		a.write(0);
		b.write(0);
		c.write(0);

		wait();
		a.write(0);
		b.write(1);
		c.write(0);

		wait();
		a.write(1);
		b.write(0);
		c.write(0);

		wait();
		a.write(1);
		b.write(1);
		c.write(0);

		wait();
		a.write(0);
		b.write(0);
		c.write(1);

		wait();
		a.write(0);
		b.write(1);
		c.write(1);

		wait();
		a.write(1);
		b.write(0);
		c.write(1);

		wait();
		a.write(1);
		b.write(1);
		c.write(1);

		wait();

		sc_stop();
	}

	SC_CTOR(test_cpu_full_adder)
	{
		SC_THREAD(test_cpu_full_adder_stim);
		sensitive << clk.pos();

	}
};

int sc_main(int argc, char **argv) {
	sc_signal<bool> sig_in_a, sig_in_b, sig_in_c, sig_out_sum, sig_out_carry;
	sc_clock TestClk("TestClk", 10, SC_NS, 0.5, 1, SC_NS);

	test_cpu_full_adder Stim1("Stimulus");
	Stim1.a(sig_in_a);
	Stim1.b(sig_in_b);
	Stim1.c(sig_in_c);
	Stim1.clk(TestClk);

	cpu_full_adder DUT("cpu_full_adder");
	DUT.in_a(sig_in_a);
	DUT.in_b(sig_in_b);
	DUT.in_c(sig_in_c);
	DUT.out_sum(sig_out_sum);
	DUT.out_carry(sig_out_carry);

	sc_trace_file *Tf;
	Tf = sc_create_vcd_trace_file("trace_cpu_full_adder.dat");
	sc_trace(Tf, sig_in_a, "IN_A");
	sc_trace(Tf, sig_in_b, "IN_B");
	sc_trace(Tf, sig_in_c, "IN_C");
	sc_trace(Tf, sig_out_sum, "OUT_SUM");
	sc_trace(Tf, sig_out_carry, "OUT_CARRY");

	sc_start();
	sc_close_vcd_trace_file(Tf);

	return(0);
}