Conference paper

Č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:
Publication language:czech
Original title:Principy generování verifikačních stimulů
Title (en):The principles of verification stimuli generation
Proceedings:Počítačové architektury a diagnostika PAD 2015
Conference:Počítačové architektury a diagnostika 2015
Place:Zlín, CZ
Publisher:Faculty of Applied Informatics, Tomas Bata University in Zlín
functional verification
assembly programs
input stimuli
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.
   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
   ISBN = {978-80-7454-522-1},
   language = {czech},
   url = {}

Your IPv4 address:
Switch to https