Department of Computer Systems

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: http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf
Publication language:czech
Original title:Principy generování verifikačních stimulů
Title (en):The principles of verification stimuli generation
Pages:13-18
Proceedings:Počítačové architektury a diagnostika PAD 2015
Conference:Počítačové architektury a diagnostika 2015
Place:Zlín, CZ
Year:2015
URL:http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf
ISBN:978-80-7454-522-1
Publisher:Faculty of Applied Informatics, Tomas Bata University in Zlín
Keywords
functional verification
assembly programs
input stimuli
constraints
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10981}
}

Your IPv4 address: 54.167.44.32
Switch to IPv6 connection

DNSSEC [dnssec]