Conference Paper/Proceeding/Abstract 882 views 297 downloads
Injecting FPGA Configuration Faults in Parallel
Shane Fleming,
David Thomas
2018 International Conference on Field-Programmable Technology (FPT)
Swansea University Author: Shane Fleming
-
PDF | Accepted Manuscript
Download (1.29MB)
DOI (Published version): 10.1109/fpt.2018.00037
Abstract
When using SRAM-based FPGA devices in safety critical applications testing against bitflips in the device configuration memory is essential. Often such tests are achieved by corrupting configuration memory bits of a running device, but this has many scalability, reliability, and flexibility challeng...
Published in: | 2018 International Conference on Field-Programmable Technology (FPT) |
---|---|
ISBN: | 978-1-7281-0215-3 978-1-7281-0214-6 |
Published: |
IEEE
2019
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa57991 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Abstract: |
When using SRAM-based FPGA devices in safety critical applications testing against bitflips in the device configuration memory is essential. Often such tests are achieved by corrupting configuration memory bits of a running device, but this has many scalability, reliability, and flexibility challenges. In this paper, we present a framework and a concrete implementation of a parallel fault injection cluster that addresses these challenges. Scalability is addressed by using multiple identical FPGA devices, each testing a different region in parallel. Reliability is addressed by using reconfigurable system-on-chip devices, that are isolated from each other. Flexibility is addressed by using a pending commit structure, that continually checkpoints the overall experiment and allows elastic scaling. We test and showcase our approach by exhaustively flipping every bit in the configuration memory of the CHStone benchmark suite and a VivadoHLS generated k-means clustering image processing application. Our results show that: linear scaling is possible as the number of devices increases; the majority of error inducing bitflips in the k-means application do not significantly impact the output; and that the Xilinx Essential bits tool may miss some bits that can induce errors. |
---|---|
College: |
College of Science |
Funders: |
EPSRC Doctoral Training Centre |