You are to design a traffic$-$lights controller for a highway$-$farmroad intersection as shown below. The

traffic lights are located on each road and consist of only Red and Green lightsfor the sake of simplicity.

Your design will use an external interval timer which has an input S which sets the timer to start

counting. The timer produces a HIGH output T after $30$ seconds have expired.

The diagram below shows all the inputs and the outputs of traffic controller FSM$.$

Inputs:

CF detects vehicle on the farmroad $($lower priority$)$

CH detects vehicle on the highway $($higher priority$)$

T long time interval expired $(30$ seconds$)$

Outputs:

HG$,$ HR assert green$/$red highway lights

FG$,$ FR assert green$/$red farmroad lights

S start timing a long interval $(30$ seconds$)$

The following constraints apply:

$$ When no vehicles are detected on the Farmroad, the Highway lights should turn GREEN by

default as the highway has higher priority. Once the Highway lights turns GREEN, they stay

GREEN for at least $30$ seconds.

$$ When a vehicle is detected on the Farmroad, the Farmroad light turns GREEN immediately

provided there are no vehicles detected on the highway and $30$ seconds have expired since it

turned RED. As soon as the vehicles on the farmroad has crossed the junction and irrespective

of the timer, the Farmroad lightshould turn RED allowing cars on the Highway $($which is higher

priority$)$ to cross the junction.

$$ On busy traffic times, the traffic lights on EITHER the Highway OR the Farmroad can stay

RED$/$GREEN a maximum of $30$ seconds. In other words, either way $($Highway or Farmroad$)$

cannot be GREEN for more than $30$ seconds.

Your solution should include a start chart diagram, a state table, the boolean functions and the circuit

as well as the output snapshots illustrating the correct operation of the FSM$.$ Note the circuit should

be build using LOGISIM