// File Name: TLC.v
// Implementation of the traffic light controller  
module TLC(
  input Clock,
  input Reset,
  input E, NL, EL, W,
  output [6:0] TimerMSD, TimerLSD,
  output reg [6:0] ETL, NLTL, ELTL, WTL
  );

/* Use localparams to
    - Define state labels and their bit assignments
    - Define traffic light color assignments
    - Define Timer values
*/

// Declare Controller and Timer State

// Initial state
	
// State Transitions (FSM/Transition List Style)
	always @*
	begin
. . . 
	end

// State Update
	always @(posedge Clock)
	. . .

// Specify output logic
// Instantiate B4to7SEG module to set TimerMSD and TimerLSD

// Specify light colors in each control state
  always @* 
	begin
	. . .
	end
endmodule  // TLC