Článek ve sborníku konference

PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub a 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, s. 289-290. ISBN 978-1-5090-5602-6.
Jazyk publikace:angličtina
Název publikace:Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs
Název (cs):Funkční verifikace jako nástroj pro monitorování vlivu poruch na FPGA založená na SRAM
Strany:289-290
Sborník:Proceedings of the 2016 International Conference on Field Programmable Technology
Konference:The 2016 International Conference on Field-Programmable Technology
Místo vydání:Xi'an, CN
Rok:2016
ISBN:978-1-5090-5602-6
Vydavatel:IEEE Computer Society
Klíčová slova
Functional Verification
Robot Controller
Electro-mechanical Systems
Fault Tolerance
Maze
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   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 = {289--290},
   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},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11263}
}

Vaše IPv4 adresa: 54.156.39.245
Přepnout na IPv6 spojení

DNSSEC [dnssec]