Department of Computer Systems

Conference paper

PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub and 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, pp. 289-290. ISBN 978-1-5090-5602-6.
Publication language:english
Original title:Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs
Title (cs):Funkční verifikace jako nástroj pro monitorování vlivu poruch na FPGA založená na SRAM
Pages:289-290
Proceedings:Proceedings of the 2016 International Conference on Field Programmable Technology
Conference:The 2016 International Conference on Field-Programmable Technology
Place:Xi'an, CN
Year:2016
ISBN:978-1-5090-5602-6
Publisher:IEEE Computer Society
Keywords
Functional Verification
Robot Controller
Electro-mechanical Systems
Fault Tolerance
Maze
Annotation
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.
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?id=11263}
}

Your IPv4 address: 54.80.102.170
Switch to IPv6 connection

DNSSEC [dnssec]