Finite State Machine
The legend “17 control signals” at the top of the figure must be changed to “20-bit control signals”.
Note that there are 18 control signals. ARMUX and DATAMUX are two bits each, and the rest are one bit each. So our control signals make a total of 20 bits.