1. 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.