`ifndef fullstate

`define fullstate

`include "full_add_subtract13bit.v"

`include "mux3_8.v"

`include "equals13bit.v"

`include "TFlipFlop.v"

`include "equals13bit.v"

module fullstate(

input buttonStart,

input buttonHit,

input buttonReset,

input delayCounterDone,

input [12:0] scoreCounter,

input [12:0] registerDataP,

input [12:0] registerDataQ,

input Clock,

input [2:0] twoBitCounterCurrent,

output ledGreen, //done

output twoBitCounterClear, //done

output RedLed, //done

output registerLoad, //check

output [12:0] registerLoadData,//done

output scoreCounterEnable, //done

output delayCounterEnable,

output [2:0] ReadQ,

output [2:0] WriteAddress,

output [2:0] State

);

wire s2,s1,s0; // represents the current state -> output. aka these are the second half or "right half" of the state machine

wire same;

equals13bit counterIsSame (.X(registerDataP), .Y(13'b000000000100), .S(same));

wire N2;

wire N1;

wire N0;

assign N2 = (s2 & ~s1 & ~s0 & same) | (s2 & s0) | (s1 & s0);

assign N1 = (~s2 & ~s1 & s0 & delayCounterDone) | (~s2 & s1 & ~s0);

assign N0 = ((~s0 & ((buttonStart & ~s2 & ~s1) | (buttonHit & ~s2 & s1) | (same & ~s2 & ~s1))) | (s0 & ~((~s2 & s1) | (delayCounterDone & ~s2 & ~s1))));

// Next state and go to's here

assign State = {s2, s1, s0};

// TODO: Next we need to give s2, s1, and s0 values. They should go through the Flip flops below

//a,b,c

dff/*Custom*/ df0 (.Clk(Clock), .D(N2), .CLRN(buttonReset), .PRN(1'b1), .Q(s2)/*, .QN(ignore)*/);

dff/*Custom*/ df1 (.Clk(Clock), .D(N1), .CLRN(buttonReset), .Q(s1), .PRN(1'b1)/*, .QN(_ignore1)*/);

// TFlipFlop tf2 (.Clock(Clock), .T(N0), .ClearN(buttonReset), .PresetN(1'b1), .Q(s0), .Qn(_ignoreTFF1));

dff/*Custom*/ df2 (.Clk(Clock), .D(N0), .CLRN(buttonReset), .Q(s0), .PRN(1'b1)/*, .QN(_ignore1)*/);

wire [12:0] regPlus; // reg[0] plus one.

full_add_subtract13bit FA1 (.X(registerDataP), .Y(13'b0000000000001), .AddSub(1'b0), .Overflow(_ignore), .S(regPlus));

// assign regPlus = 2'b10;

assign ledGreen = ~s2 & s1 & ~s0;

assign RedLed = ~s2 & ~s1 & s0;

assign registerLoad = (s2 & ~s1 & s0 & buttonHit) | (s1 & s0) | (s2 & ~s1 & ~s0);

assign delayCounterEnable = ~s2 & ~s1 & s0 & ~delayCounterDone;

assign scoreCounterEnable = ~s2 & s1;

assign twoBitCounterClear = s2 & ~s1 & s0;

assign registerLoadData = (s2) ? (regPlus) : (scoreCounter); // if s2 = 1 Register LoadData. else s2 = 0 Reg[0]+1

assign ReadQ = (twoBitCounterClear) ? (twoBitCounterCurrent) : ({registerDataP[2], registerDataP[1], registerDataP[0]}); // should be the place where screen five and associated is modified from

assign WriteAddress = (s2) ? (3'b000) : (ReadQ);