On the Functional Test of Branch Prediction Units Based on the Branch History Table Architecture