To clarify, it's asking for another state diagram that does what the problem wants

000 Reset Idle 1xx 0xx gntl /g1 1xx 01x. x0x xx00 gnt3/g Figure 6.72 State diagram for the arbiter P7.00 points) Arbiter Circuits The arbiter FSM defined in Section 6.8 (Figure 6.72) may cause device 3 to never get serviced if devices 1 and 2 continuously keep raising requests, so that in the 1dle state it always happens that either device 1 or device 2 has an outstanding request Modify the proposed FSM to ensure that device 3 will get serviced, such that if it raises a request, then device 1 and 2 will be serviced only once before device 3 is granted its request