W Car Detector 000 S ar detector eastwestwaiting rst clk Problem 1 (40) The traffic lights: Design a finite state machine to control the traffic lights at an intersection of a north-south road with an east-west road. The spefications are as follows: There are six lights to control green, yellow, and red for the north-south road, and for the east-west road. input signal eastwestwaiting that indicates that a car is waiting on the east-west road. A second input, rst, resets the FSM to a known state. The procedure of the lights are as follows: rst gns 100 001 eastwestwaiting/ yns gew yew 010 001 001 100 001 010 state output gyr gyr ns ew