Method for verifying single-step dynamic execution by CPU

The invention provides a method for verifying single-step dynamic execution by a CPU. The method comprises the following steps: (1) loading a test case into a CPU verification platform, and operatingsimulation to obtain a single-step execution result; (2) checking a code of an error result instruction in the report according to a simulation result, then searching an instruction code loaded into amemory unit in the DUT according to the instruction code, and finding out a string of error instruction codes; (3) re-overwriting the wrong string of instruction codes in the memory unit into the instruction codes which do not influence the result; and (4) running simulation again, and enabling the CPU verification platform to smoothly continue to execute subsequent instructions through the modified instructions to run the whole test cases. According to the method, the original error instruction can be covered and replaced on the premise of not changing the ELF binary file of the test case, and the error instruction c