INTEGRITY CHECKING

• Main Authors: VENU, Balaji, EYOLE, Mbou
• Format: Patent
• Language: English; French
• Published: 04.01.2024
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

An apparatus has processing circuitry to execute instructions. The processing circuitry has calculation circuitry which is responsive to one or more instructions requiring a calculation to be performed to compute the result of the calculation and approximation circuitry which is responsive to said one or more instructions to calculate an approximate result of the calculation independently of the calculation circuitry. The processing circuitry also has integrity checking circuitry to perform an integrity check by comparing the result of the calculation performed by the calculation circuitry and the approximate result of the calculation performed by the approximation circuity. The integrity checking circuitry detects an error in the processing circuitry if it is determined that a difference between the result of the calculation and the approximate result of the calculation is greater than a deviation threshold. L'invention concerne un appareil comprenant un ensemble de circuits de traitement pour exécuter des instructions. L'ensemble de circuits de traitement comprend un ensemble de circuits de calcul sensibles à au moins une instructions nécessitant un calcul à effectuer pour calculer le résultat de calcul, et un ensemble de circuits d'approximation sensibles à ladite instruction au moins pour calculer un résultat approximatif du calcul, indépendamment de l'ensemble de circuits de calcul. L'ensemble de circuits de traitement comprend également un ensemble de circuits de vérification d'intégrité pour effectuer une vérification d'intégrité par comparaison du résultat du calcul effectué par l'ensemble de circuits de calcul et du résultat approximatif du calcul effectué par l'ensemble de circuits d'approximation. L'ensemble de circuits de vérification d'intégrité détecte une erreur dans l'ensemble de circuits de traitement s'il est déterminé que la différence entre le résultat du calcul et le résultat approximatif du calcul est supérieure à un seuil d'écart.