Publication Details

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

ČEKAN, O. Principy generování verifikačních stimulů. Počítačové architektury a diagnostika PAD 2015. Zlín: Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně, 2015. s. 13-18. ISBN: 978-80-7454-522-1.
English title
The principles of verification stimuli generation
Type
conference paper
Language
Czech
Authors
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
ISBN
978-80-7454-522-1
Publisher
Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně
Place
Zlín
BibTeX
@inproceedings{BUT119915,
  author="Ondřej {Čekan}",
  title="Principy generování verifikačních stimulů",
  booktitle="Počítačové architektury a diagnostika PAD 2015",
  year="2015",
  pages="13--18",
  publisher="Fakulta aplikované informatiky, 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"
}
Back to top