Electronic device and method for verifying correct program execution

摘要

An electronic device is provided which comprises a microprocessor for executing a program code and a first hardware code path verifying (CPV) stage coupled to the microprocessor. The hardware CPV stage comprises a first error detection code (EDC) generator configured to continuously determine an error detection code on a continuous sequence of code relating to an actually executed portion of the program code and to compare the actual error detection code with a predetermined error code so as to verify correct execution of the program code and to indicate an error.

主权项

1. An electronic device comprising:
a microprocessor for executing a program code; a first hardware code path verifying (CPV) stage coupled to the microprocessor; and wherein the hardware CPV stage comprises a first error detection code (EDC) generator configured to receive a signal from a control stage to enter an active state from an idle state and then to continuously determine an error detection code on a first branch of a continuous sequence of program code while the program code is being executed in the microprocessor and to compare the determined error detection code with a predetermined error code so as to verify correct execution of the program code or to indicate an error, and a second EDC generator configured to continuously determine an error detection code on a second branch of a continuous sequence of program code while the program code is being executed in the microprocessor and compare the determined error detection code with a predetermined error code so as to verify correct execution of the program code or to indicate an error, the first and the second EDC generators being configured to be independently enabled or disabled for determining error detection codes of the first and second paths of the program code.