Conference paper

PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 81-82. ISBN 978-80-01-06178-7.
Publication language:english
Original title:The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs
Title (cs):Využití funkční verifikace pro sledování vlivu poruch na FPGA založená na SRAM
Pages:81-82
Proceedings:Proceedings of the 5th Prague Embedded Systems Workshop
Conference:The 5th Prague Embedded Systems Workshop
Place:Roztoky u Prahy, CZ
Year:2017
ISBN:978-80-01-06178-7
Publisher:Faculty of Information Technology, Czech Technical University
Files: 
+Type Name Title Size Last modified
iconPESW_2017_podivinsky.pdf191 KB2017-08-24 10:47:31
^ Select all
With selected:
Keywords
FPGA
functional verification
robot controller
fault tolerance
fault injection
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. Our system consists of mechanical robot and its electronic controller implemented into FPGA. The experimental results gained from the verification process are also presented and discussed in the paper.
BibTeX:
@INPROCEEDINGS{
   author = {Jakub Podiv{\'{i}}nsk{\'{y}} and Zden{\v{e}}k Kot{\'{a}}sek},
   title = {The Use of Functional Verification for Monitoring Impact of
	Faults in SRAM-based FPGAs},
   pages = {81--82},
   booktitle = {Proceedings of the 5th Prague Embedded Systems Workshop},
   year = {2017},
   location = {Roztoky u Prahy, CZ},
   publisher = {Faculty of Information Technology, Czech Technical
	University},
   ISBN = {978-80-01-06178-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=11452}
}

Your IPv4 address: 54.92.141.211
Switch to IPv6 connection

DNSSEC [dnssec]