Publication Details

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

PODIVÍNSKÝ, J.; ČEKAN, O.; LOJDA, J.; KOTÁSEK, Z. 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. p. 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. (UFYZ)
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Lojda Jakub, Ing., Ph.D. (DCSY)
Kotásek Zdeněk, doc. Ing., CSc.

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

ISBN

978-1-5090-5602-6

Publisher

IEEE Computer Society

Place

Xi'an

DOI

10.1109/FPT.2016.7929557

UT WoS

000402988900053

EID Scopus

2-s2.0-85021410457

BibTeX

@inproceedings{BUT131015,
  author="Jakub {Podivínský} and Ondřej {Čekan} and Jakub {Lojda} and Zdeněk {Kotásek}",
  title="Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs",
  booktitle="Proceedings of the 2016 International Conference on Field Programmable Technology",
  year="2016",
  pages="293--294",
  publisher="IEEE Computer Society",
  address="Xi'an",
  doi="10.1109/FPT.2016.7929557",
  isbn="978-1-5090-5602-6",
  url="https://www.fit.vut.cz/research/publication/11263/"
}