Publication Details

Principy generování verifikačních stimulů

ČEKAN Ondřej. Principy generování verifikačních stimulů. In: Počítačové architektury a diagnostika PAD 2015. Zlín: Faculty of Applied Informatics, Tomas Bata University in Zlín, 2015, pp. 13-18. ISBN 978-80-7454-522-1. Available from: http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf
English title
The principles of verification stimuli generation
Type
conference paper
Language
czech
Authors
Čekan Ondřej, Ing., Ph.D. (DCSY FIT BUT)
URL
Keywords

functional verification
assembly programs
input stimuli
constraints

Abstract

The paper discusses the dissertation thesis and summarizes the current state of knowledge in generating stimuli based on restrictive conditions - constraints. There is presented the design and basic parameters of the stimuli generator, which is suitable for use mainly in the functional verification of digital systems. In the paper, there are also defined dissertation goals and previous work representing the design and implementation of a universal stimuli generator, which is used in practice to generate assembly programs for processors.

Published
2015
Pages
13-18
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
Faculty of Applied Informatics, Tomas Bata University in Zlín
Place
Zlín, CZ
BibTeX 
@INPROCEEDINGS{FITPUB10981,
   author = "Ond\v{r}ej \v{C}ekan",
   title = "Principy generov\'{a}n\'{i} verifika\v{c}n\'{i}ch stimul\r{u}",
   pages = "13--18",
   booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} architektury a diagnostika PAD 2015",
   year = 2015,
   location = "Zl\'{i}n, CZ",
   publisher = "Faculty of Applied Informatics, Tomas Bata University in Zl\'{i}n",
   ISBN = "978-80-7454-522-1",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/10981"
}
Back to top