implement the automation defined in fig

Two-Bit Counter Based Predictor is a two-state finite automaton. Its behavior is described in Figure 5.6. The advantage of the two-bit predictor over a one-bit predictor is that a conditional jump has to deviate twice from what it has done most in the past before the prediction changes. For example, a loop-closing conditional jump is mispredicted once rather than twice. Figure 5.6: Two-bit saturated counter based predictor. Each state of the automaton is interpreted as follows: - 00: strongly not taken - 01: weakly not taken - 10: weakly taken - 11: strongly taken