Implementieren Sie das Modul traffic$\_$light, welches eine einfache Ampelsteuerung als endlichen Automat umsetzen soll. Die Ampeln sollen wie folgt gesteuert werden:

$$ Im initialen Zustand $($Reset$)$ hat Stra$$e X gr$$n und Stra$$e Y rot.

$$ Nach $4000$ Taktzyklen wechselt die Ampel auf Stra$$e X zu gelb und die auf Stra$$e Y zu rot$-$gelb $($rot und gelb leuchten$).$

$$ Nach $500$ Taktzyklen wechselt die Ampel auf Stra$$e X zu rot und die auf Stra$$e Y zu gr$$n$.$

$$ Nach $4000$ Taktzyklen wechselt die Ampel auf Stra$$e X zu rot$-$gelb und die auf Stra$$e Y zu gelb.

$$ Danach wiederholt sich dieser Prozess von vorne.

Beachten Sie, dass die Ampeln durch einen Reset immer in den intiialen Zustand zur$$ckversetzt werden sollen. Die Ampelsteuerung soll gem$$ dem aktuellen Zustand die Lichter der Ampeln f$$r Stra$$en X und Y schalten. Beispielsweise ist das gelbe Licht auf Stra$$e Y genau dann eingeschaltet, wenn Y$\_$YELLOW auf $1$ gesetzt ist.

Um die L$$nge der jeweiligen Zeitintervalle zu messen, nutzt die Ampel einen Counter, welcher bereits im Code$-$Ger$$st gegeben ist. Dieser z$$hlt immer weiter hoch und wird beim erreichen der maximalen L$$nge eines Zeitintervalls $(4000$ bzw$.500$ Taktzyklen je nach Phase$)$ zur$$ckgesetzt$.$ Nutzen Sie den aktuellen Wert des Counters auch, um zu entscheiden, wann der Automat von einem Zustand in den n$$chsten wechselt.

Hinweis: In der next state logic ist es hier notwendig, abh$$ngig vom Wert des Counters den Zustand zu wechseln, anstatt den Zustandswechsel von Eing$$ngen des Moduls abh$$ngig zu machen.

Hinweis: Es ist mit entsprechenden Kommentaren bereits markiert, welche Bestandteile des Auto$-$ maten Sie implementieren sollten. Dies ist nur eine Empfehlung, Sie d$$rfen den Automaten nat$$rlich auch anders umsetzen.

Kompilieren und Testen:

Windows: $./$sim$.$bat traffic$\_$light, Sonst: $./$sim$.$sh traffic$\_$light