Publication Details

Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs

PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub and KOTÁSEK Zdeněk. Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 293-294. ISBN 978-1-5090-5602-6.
Czech title
Funkční verifikace jako nástroj pro monitorování vlivu poruch na FPGA založená na SRAM
Type
conference paper
Language
english
Authors
Podivínský Jakub, Ing., Ph.D. (DCSY FIT BUT)
Čekan Ondřej, Ing., Ph.D. (DCSY FIT BUT)
Lojda Jakub, Ing., Ph.D. (DCSY FIT BUT)
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT)
Keywords

Functional Verification
Robot Controller
Electro-mechanical Systems
Fault Tolerance
Maze

Abstract

The aim of this paper is to present a new platform for evaluating impact of faults on electro-mechanical systems based on SRAM-based FPGAs. Functional verification together with the fault injector serve as a tool for the fault tolerance evaluation. The article demonstrates the use of the verification environment for evaluating impacts of faults in electro-mechanical systems consists of mechanical robot and its electronic controller implemented into FPGA.  The experimental results gained from the verification process are also presented in the paper.

Published
2016
Pages
293-294
Proceedings
Proceedings of the 2016 International Conference on Field Programmable Technology
Conference
The 2016 International Conference on Field-Programmable Technology, Xi'an, CN
ISBN
978-1-5090-5602-6
Publisher
IEEE Computer Society
Place
Xi'an, CN
DOI
10.1109/FPT.2016.7929557
UT WoS
000402988900053
EID Scopus
2-s2.0-85021410457
BibTeX 
@INPROCEEDINGS{FITPUB11263,
   author = "Jakub Podiv\'{i}nsk\'{y} and Ond\v{r}ej \v{C}ekan and Jakub Lojda and Zden\v{e}k Kot\'{a}sek",
   title = "Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs",
   pages = "293--294",
   booktitle = "Proceedings of the 2016 International Conference on Field Programmable Technology",
   year = 2016,
   location = "Xi'an, CN",
   publisher = "IEEE Computer Society",
   ISBN = "978-1-5090-5602-6",
   doi = "10.1109/FPT.2016.7929557",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11263"
}
Back to top