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 provyhodnocování vlivu poruch na elektro-mechanický systém založený na FPGA skonfigurací uloženou v SRAM. Funkční verifikace dohromady s injektorem poruchslouží jako nástroj pro ověřování míry odolnosti proti poruchám. Článek ukazujepoužití verifikačního prostředí pro vyhodnocování vlivu poruch naelektro-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 procesuverifikace jsou v článku také prezentovány.

Rok
2016
Strany
293–294
Sborník
Proceedings of the 2016 International Conference on Field Programmable Technology
Konference
Mezinárodní konference o programovatelných technologiích 2016, Xi'an, CN
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
Nahoru