Round-Robin Arbiter 2 masters (FSM)

Two states: PRIO_A and PRIO_B. In PRIO_A, if i_req_a='1' grant goes to o_grant_a (otherwise to o_grant_b if i_req_b='1'). After any grant, priority swaps. Symmetric in PRIO_B.