Patent ID: 9069953
Filing Date: 2015-06-30
Classification: G06F

Abstract:
1. A method for checking data consistency in a system on chip comprising a core including at least two processors, registers, and a data consistency check module linking the two processors, the core being configured to connect to at least one set of memories containing program zones for first instructions of a first program and program zones for second instructions of a second program, each program being configured to access data stored in data zones of the memories, said first and second instructions to be executed by the first and second processor, respectively, to produce and store result data into the registers or the memories, the method comprising: executing at least one instruction of the first program by the first processor to produce first result data, executing at least one instruction of the second program by the second processor to produce second result data distinct from the first result data, applying, by the data consistency check module, a function either over the first result data or the second result data to obtain a test result, wherein the applying a function applies one of a logical operation, a mathematical function, and a cryptographic function such that the obtained test result is a modified version of one of the first result data and the second result data, comparing, by the data consistency check module, the obtained test result either with the corresponding second result data or first result data, continuing execution of instructions of each program by the first and second processor when the comparison between the test result and the corresponding result data is successful, and stopping execution of instructions of each program by the first and second processor when the comparison shows an error.