FSM Models As formulated in prior work, Figure 2 shows the FSM model for each of the 512 branch history table entries.15-17 A cold start initializes all entries in the branch history table to the start state, strong not taken. Any conditional branch whose address directly maps to the same branch history table entry will cause transitions in that entry’s FSM when the branch is resolved in the ex...
