EDA traffic light simulation