Publication Details

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

PODIVÍNSKÝ, J. Využití funkční verifikace pro ověřování metodik pro zajištění odolnosti proti poruchám. Počítačové architektury a diagnostika PAD 2015. Zlín: Univerzita Tomáše Bati ve Zlíně, 2015. s. 7-12. ISBN: 978-80-7454-522-1.

English title

The use of functional verification for testing fault tolerance methodologies

Type

conference paper

Language

Czech

Authors

Podivínský Jakub, Ing., Ph.D. (UFYZ)

URL

http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf

Keywords

FPGAfunctional verificationfault tolerance evaluationrobot 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

ISBN

978-80-7454-522-1

Publisher

Univerzita Tomáše Bati ve Zlíně

Place

Zlín

BibTeX

@inproceedings{BUT119923,
  author="Jakub {Podivínský}",
  title="Využití funkční verifikace pro ověřování metodik  pro zajištění  odolnosti proti poruchám",
  booktitle="Počítačové architektury a diagnostika PAD 2015",
  year="2015",
  pages="7--12",
  publisher="Univerzita Tomáše Bati ve Zlíně",
  address="Zlín",
  isbn="978-80-7454-522-1",
  url="http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf"
}