Design a HLSM for a traffic light controller. The light goes through red (30 sec), green (25 sec) and yellow (5 sec), then repeat. The clock runs at 1Hz. An input PED signal will short-cut the green light immediately to yellow, if the light is green, or do nothing otherwise. The outputs are R, G and Y, which will turn on the red, green and yellow lights, respectively. Draw the HLSM and data path, make connections, and implement the HLSM with FFs and gates.