A Shadow Dynamic Finite State Machine for Branch Prediction: An Alternative for the 2-Bit Saturating Counter. INF 35 (2).