Robustness improvement by designing circuits implemented on SRAM FPGAs and validation by fault injection
type: Dataset
description: This thesis focuses primarily on the evaluation of the functional effects of errors occurring in the SRAM configuration memory of some FPGAs. Xilinx Virtex II Pro family is used as a first case study. Experiments under laser beam allowed us to have a good overview of realistic error patterns, related to real disturbance sources. A suited fault injection methodology has thus been defined to improve design-time robustness evaluations of a circuit implemented on this type of technology. This methodology is based on runtime reconfiguration. The approach has then been evaluated on several technological targets, requiring the development of several fault injection environments. The study included for the first time the ATMEL AT40K family, with a unique and efficient reconfiguration mode. The second type of contribution is focused on the improvement at low cost of the robustness of designs implemented on SRAM-based FPGA platforms. We propose a selective protection approach exploiting resources unused by the application. The approach has been automated on several technological targets (Xilinx, Altera) and the efficiency has been analyzed by taking advantage of the fault injection techniques previously developed.
identifier: NNT: 2013GRENT035
issued: 2026-05-06T09:14:14.629306
language: fr
modified: 2026-05-06T09:14:14.629310
contact point: Organization
  fn: CCSD
keyword: fault-injection
keyword: fpga-a-base-de-sram
keyword: infoeu-reposemanticsdoctoralthesis
keyword: injection-de-fautes
keyword: robustesse
keyword: robustness
keyword: spiotherengineering-sciences-physicsother
keyword: sram-based-fpgas
keyword: theses
landing page: https://theses.hal.science/tel-00877947

Robustness improvement by designing circuits implemented on SRAM FPGAs and validation by fault injection
type: Distribution
format: HTML
issued: 2026-05-06T09:14:14.655435
modified: 2026-05-06T09:14:14.617114
access URL: https://theses.hal.science/tel-00877947

test_moissonnage_selune
type: Agent