#include <systemc.h>
#include <signal.h>
#include "chrono.h"

using namespace std;
	
struct M1_3i3o : sc_module {
	sc_in_clk                       clk;
	sc_in<bool>                     i1;
	sc_in<bool>                     i2;
	sc_in<bool>                     i3;
	sc_out<bool>                    o1;
	sc_out<bool>                    o2;
	sc_out<bool>                    o3;

  sc_signal<bool>                 reg;

	void eval_mealy1 () {
    o1 = ~i1;
	}

	void eval_mealy2 () {
    o2 = ~i2;
	}

	void tr_moore () {
    reg = i3;
	}

	void gen_moore () {
    o3 = ~reg;
	}

	SC_CTOR (M1_3i3o) : clk("clk"), i1("i1"), o1("o1"), i2("i2"), o2("o2"),
i3("i3"), o3("o3") {
		SC_METHOD(eval_mealy1);
		sensitive << clk.neg();
		sensitive << i1;
#ifdef SYSTEMCASS_SPECIFIC
		o1(i1);
#endif
		SC_METHOD(eval_mealy2);
		sensitive << clk.neg();
		sensitive << i2;
#ifdef SYSTEMCASS_SPECIFIC
		o2(i2);
#endif
		SC_METHOD(tr_moore);
		sensitive << clk.pos();
#ifdef SYSTEMCASS_SPECIFIC
#endif
		SC_METHOD(gen_moore);
		sensitive << clk.neg();
#ifdef SYSTEMCASS_SPECIFIC
#endif
	};
};


struct M2_4i4o : sc_module {
	sc_in_clk                       clk;
	sc_in<bool>                     i1;
	sc_in<bool>                     i2;
	sc_in<bool>                     i3;
	sc_in<bool>                     i4;
	sc_out<bool>                    o1;
	sc_out<bool>                    o2;
	sc_out<bool>                    o3;
	sc_out<bool>                    o4;
  sc_signal<sc_uint<2> >          reg;

	void tr_moore () {
    reg = ((i1.read() & i3.read())?2:0) + (i2.read() | i4.read());
	}

	void gen_moore () {
    o1 = reg.read() & 1;
    o2 = reg.read() & 2;
    o3 = ~(reg.read() & 1);
    o4 = ~(reg.read() & 2);
	}

	SC_CTOR (M2_4i4o) : clk ("clk"), i1 ("i1"), o1("o1"), i2 ("i2"), o2 ("o2"), i3 ("i3"), o3("o3"), i4 ("i4"), o4 ("o4")  {
		SC_METHOD(tr_moore);
		sensitive << clk.pos();
#ifdef SYSTEMCASS_SPECIFIC
    // no needs
#endif
		SC_METHOD(gen_moore);
		sensitive << clk.neg();
#ifdef SYSTEMCASS_SPECIFIC
#endif
	};
};

int sc_main (int argc, char *argv[])
{
	sc_clock                     signal_clk("my_clock",1, 0.5);
	sc_signal<bool>              s1 ("s01"),
                               s2 ("s02"),
                               s3 ("s03"),
                               s4 ("s04"),
                               s5 ("s05"),
                               s6 ("s06"),
                               s7 ("s07"),
                               s8 ("s08"),
                               s9 ("s09"),
                               s10("s10"),
                               s11("s11"),
                               s12("s12"),
                               s13("s13"),
                               s14("s14"),
                               s15("s15");
                               

	M1_3i3o     a    ("a");
	M1_3i3o     b    ("b");
	M2_4i4o     Moore("Moore");
	
	a.clk         (signal_clk);
	b.clk         (signal_clk);
	Moore.clk     (signal_clk);
		
	Moore.o1      (s1);
	a.i1          (s1);

	a.o1          (s2);
	b.i1          (s2);
		
	b.o1          (s3);
	Moore.i1      (s3);

	Moore.o2      (s4);
	b.i2          (s4);
	
	b.o2          (s5);
	a.i2          (s5);
	
	a.o2          (s6);
	Moore.i2      (s6);
	
	Moore.o3      (s7);
	b.i3          (s7);
	
	Moore.o4      (s8);
	a.i3          (s8);
	
	b.o3          (s9);
	Moore.i4      (s9);
	
	a.o3          (s10);
	Moore.i3      (s10);
	
	// Init & run
	sc_initialize ();

  if (argc == 1)
  {
    cout << "Usage :\n" << argv[0] << " [#cycles]\n";
    return EXIT_SUCCESS;
  }

	chrono_t chrono;
	chrono.start ();

  sc_start (atoi(argv[1]));

	chrono.stop ();
	unsigned int t = chrono;
	cout << "Time elapsed (sec) : " << t << endl;
	cout << "Cycles done        : " << sc_simulation_time () << endl;
	cout << "Performance        : " << sc_simulation_time () / t << endl;
	return EXIT_SUCCESS;
}