Detail publikačního výsledku

Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs

PODIVÍNSKÝ, J.; ČEKAN, O.; LOJDA, J.; KOTÁSEK, Z.

Originální název

Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs

Anglický název

Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Functional Verification
Robot Controller
Electro-mechanical Systems
Fault Tolerance
Maze

Klíčová slova v angličtině

Functional Verification
Robot Controller
Electro-mechanical Systems
Fault Tolerance
Maze

Autoři

PODIVÍNSKÝ, J.; ČEKAN, O.; LOJDA, J.; KOTÁSEK, Z.

Rok RIV

2017

Vydáno

07.12.2016

Nakladatel

IEEE Computer Society

Místo

Xi'an

ISBN

978-1-5090-5602-6

Kniha

Proceedings of the 2016 International Conference on Field Programmable Technology

Strany od

293

Strany do

294

Strany počet

2

URL

https://www.fit.vut.cz/research/publication/11263/

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/"
}

Dokumenty

podivinsky_fpt2016_sbornik