Consider the problem of designing a controller for a traffic light at a busy intersection of Academic Avenue with Bravado Boulevard on a campus. Several serious injuries have already been reported at this intersection. We need you to install a traffic light before there are fatalities. You need to solve the problem with an FSM by installing two traffic sensors, TA and TB, on Academic Ave. and Bravado Blvd., respectively. Each sensor indicates TRUE if traffic is present and FALSE if the street is empty. You should also install two traffic lights to control the traffic. Each light receives digital inputs specifying whether it should be green (G), yellow (Y), or red (R). Hence, this FSM has two inputs, TA and TB, and six outputs, RA, YA, GA and RB, YB, GB as shown in Figure 1(a). For instance, a sequence of RAYAGARBYBGB = 001100 indicates that the light at Academic Ave. is green and the light at Bravado Blvd. is red. The intersection with lights and sensors is shown in Figure 1(b). You need to provide a clock with a 5-second period. On each clock tick (rising edge), the lights may change based on the traffic sensors. For simplicity, use the state transition diagram (Moore machine) provided at Figure 2 to:

a. Complete a state transition table. (pre-lab)

b. Complete an output table. (pre-lab)

c. Write Boolean equations. (pre-lab)

d. Sketch a schematic of the FSM. (pre-lab)

CLK Bravado B Dining Hall Le TA -RA YA LA Traffic Light Controller TA GA -RB YB G Academic TAD Labs Ave. Dorms Le TB Blvd. Athletic Fields Reset (b) (a) Figure 1. (a) Black box view of FSM, (b) Campus map Reset TB SO RAAGARBYRGB TB S1 RAYAGARBYBGB S3 RAYAARBYRGB S2 AGARBYRGB TA Figure 2. State transition diagram CLK Bravado B Dining Hall Le TA -RA YA LA Traffic Light Controller TA GA -RB YB G Academic TAD Labs Ave. Dorms Le TB Blvd. Athletic Fields Reset (b) (a) Figure 1. (a) Black box view of FSM, (b) Campus map Reset TB SO RAAGARBYRGB TB S1 RAYAGARBYBGB S3 RAYAARBYRGB S2 AGARBYRGB TA Figure 2. State transition diagram