Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
česky
Autoři
Čekan Ondřej, Ing., Ph.D., UPSY (FIT)
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.

Klíčová slova anglicky

functional verification
assembly programs
input stimuli
constraints

URL
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"
}
Projekty
Architektury paralelních a vestavěných počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-14-2297, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace, MŠMT, COST, COST IC1103, zahájení: 2011-06-15, ukončení: 2015-12-31, ukončen
Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace, MŠMT, COST CZ (2011-2017), LD12036, zahájení: 2012-03-01, ukončení: 2015-11-30, ukončen
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru