Publication Details
A Basic Approach to Fault Tolerance of Data Paths of HLS-synthesized Systems and its Evaluation
High-level Synthesis, Data-Path, CatapultC, Fault Tolerance, Fault-Tolerant, Robot Controller, C++
In this presentation, an approach to fault-tolerant systems design and synthesis based on High-level Synthesis (HLS) is shown. A description and evaluation of the impacts of HLS optimization methods are shown as well. The higher reliability is achieved through modification of input description in the C++ programming language, which the HLS synthesis tools are based on. Our work targets SRAM-based FPGAs, which are prone to Single Event Upsets (SEUs). For the evaluation of the impacts of faults we use our evaluation platform, which allows us to test fault tolerance properties of the Design Under Test (DUT). The evaluation platform is based on functional verification combined with fault injection.
@INPROCEEDINGS{FITPUB11451, author = "Jakub Lojda and Zden\v{e}k Kot\'{a}sek", title = "A Basic Approach to Fault Tolerance of Data Paths of HLS-synthesized Systems and its Evaluation", pages = "79--80", booktitle = "Proceedings of the 5th Prague Embedded Systems Workshop", year = 2017, location = "Roztoky u Prahy, CZ", publisher = "Faculty of Information Technology, Czech Technical University", ISBN = "978-80-01-06178-7", language = "english", url = "https://www.fit.vut.cz/research/publication/11451" }