Detail publikace

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.
Název česky
Funkční verifikace jako nástroj pro monitorování vlivu poruch na FPGA založená na SRAM
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Podivínský Jakub, Ing., Ph.D. (UFYZ)
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Lojda Jakub, Ing., Ph.D. (UPSY)
Kotásek Zdeněk, doc. Ing., CSc.
Klíčová slova

Functional Verification Robot Controller Electro-mechanical Systems Fault Tolerance Maze

Abstrakt

Náplní tohoto článku je představení nové platformy pro vyhodnocování vlivu poruch na elektro-mechanický systém založený na FPGA s konfigurací uloženou v SRAM. Funkční verifikace dohromady s injektorem poruch slouží jako nástroj pro ověřování míry odolnosti proti poruchám. Článek ukazuje použití verifikačního prostředí pro vyhodnocování vlivu poruch na elektro-mechanický systém složený z robota pro hledání cesty v bludišti a jeho řídicí jednotky implementované v FPGA. Experimentální výsledky získané z procesu verifikace jsou v článku také prezentovány.

Rok
2016
Strany
293–294
Sborník
Proceedings of 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/"
}
Nahoru