Detail publikace

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.
Název anglicky
The principles of verification stimuli generation
Typ
článek ve sborníku konference
Jazyk
česky
Autoři
Čekan Ondřej, Ing., Ph.D. (UFYZ)
URL
Abstrakt

Tento článek pojednává o tématu disertační práce a shrnuje aktuální stav poznání v oblasti generování stimulů založeného na omezujících podmínkách. Je zde představen návrh a základní parametry generátoru stimulů, který je vhodný pro použití především ve funkční verifikaci číslicových systémů. V rámci článku jsou rovněž definovány cíle disertační práce a dosavadní práce představující návrh a realizaci univerzálního generátoru stimulů, který je použit v praxi pro generování assemblerovských programů pro procesory.

Rok
2015
Strany
13–18
Sborník
Počítačové architektury a diagnostika PAD 2015
ISBN
978-80-7454-522-1
Vydavatel
Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně
Místo
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"
}
Nahoru