Verification of Prediction
- Branch prediction starts the expected
target instruction down the pipe behind the branch
- If the branch doesn't follow the prediction,
a full penalty occurs
- If prediction is dynamic, it gets updated
along with the target buffer