Department of Computer Systems
Conference paperPODIVÍ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}
} |
|