Publication Details

Využití funkční verifikace pro ověřování metodik pro zajištění odolnosti proti poruchám

PODIVÍNSKÝ Jakub. Využití funkční verifikace pro ověřování metodik pro zajištění odolnosti proti poruchám. In: Počítačové architektury a diagnostika PAD 2015. Zlín: Tomas Bata University in Zlín, 2015, pp. 7-12. ISBN 978-80-7454-522-1. Available from: http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf
English title
The use of functional verification for testing fault tolerance methodologies
Type
conference paper
Language
czech
Authors
URL
Keywords

FPGA

functional verification
fault tolerance evaluation
robot controller
Abstract

The paper presents new use case od functional verification. There is presented the use od functional verification for testing fault tolerance metodologies.

Published
2015
Pages
7-12
Proceedings
Počítačové architektury a diagnostika PAD 2015
Conference
Počítačové architektury a diagnostika 2015, Zlín, CZ
ISBN
978-80-7454-522-1
Publisher
Tomas Bata University in Zlín
Place
Zlín, CZ
BibTeX
@INPROCEEDINGS{FITPUB11002,
   author = "Jakub Podiv\'{i}nsk\'{y}",
   title = "Vyu\v{z}it\'{i} funk\v{c}n\'{i} verifikace pro ov\v{e}\v{r}ov\'{a}n\'{i} metodik  pro zaji\v{s}t\v{e}n\'{i}  odolnosti proti poruch\'{a}m",
   pages = "7--12",
   booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} architektury a diagnostika PAD 2015",
   year = 2015,
   location = "Zl\'{i}n, CZ",
   publisher = "Tomas Bata University in Zl\'{i}n",
   ISBN = "978-80-7454-522-1",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/11002"
}
Back to top