Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Podivínský Jakub, Ing., Ph.D., UPSY (FIT)
Čekan Ondřej, Ing., Ph.D., UPSY (FIT)
Lojda Jakub, Ing., Ph.D., UPSY (FIT)
Kotásek Zdeněk, doc. Ing., CSc., UPSY (FIT), UTKO (FEKT)
Abstrakt

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.

Klíčová slova

Functional Verification
Robot Controller
Electro-mechanical Systems
Fault Tolerance
Maze

Rok
2016
Strany
293–294
Sborník
Proceedings of the 2016 International Conference on Field Programmable Technology
Konference
The 2016 International Conference on Field-Programmable Technology
ISBN
978-1-5090-5602-6
Vydavatel
IEEE Computer Society
Místo
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/"
}
Soubory
Projekty
Algoritmy, metody návrhu a platforma pro many-core zpracování obrazu a videa s velkou propustností a malou spotřebou energie, MŠMT, Společné technologické iniciativy, 7H14002, zahájení: 2014-04-01, ukončení: 2017-06-30, ukončen
Architektury paralelních a vestavěných počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-14-2297, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru