Method for verifying branch prediction mechanism and accessible recording medium for storing program thereof
AssigneeFaraday Technology Corp.
InventorCheng-Yen Huang
Life of this patent
Estimating the term…
Abstract
A method for verifying a branch prediction mechanism and an accessible recording medium for storing a verification program are provided. The method is used for verifying the branch prediction mechanism, such as a branch target buffer (BTB), in a processor. The method comprises providing and executing a verification program in the processor. The verification program comprises at least one branch instruction, which determines whether to use a recursive call and execute the verification program according to a given condition.
Claims12
A method for verifying a branch instruction prediction mechanism of a processor, the method comprising providing and executing a verification program, the verification program comprising at least one branch instruction, wherein the branch instruction determines whether to use a recursive call and to execute the verification program according to a given condition.
An accessible recording medium for storing a verification program executable in a processor, wherein the verification program is used to verify a branch instruction prediction mechanism of the processor, and the verification program comprises a branch instruction, which determines whether to use a recursive call and to execute the verification program according to a given condition.
Dependencies are inferred from the claim text.