“A Shadow Dynamic Finite State Machine for Branch Prediction: An Alternative for the 2-bit Saturating Counter” Informatica, 35(2). Available at: https://www.informatica.si/index.php/informatica/article/view/345 (Accessed: 5 July 2026).