Detail publikace
Universal Generation of Test Vectors for Functional Verification
ČEKAN Ondřej. Universal Generation of Test Vectors for Functional Verification. In: Počítačové architektury a diagnostika 2014. Liberec: Technická univerzita v Liberci, 2014, s. 44-49. ISBN 978-80-7494-027-9.
Název česky
Univerzální generování testovacích vektorů pro funkční verifikaci
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Čekan Ondřej, Ing., Ph.D. (UPSY FIT VUT)
Abstrakt
Cílem tohoto příspěvku je sumarizovat informace o generování testovacích vektorů. Generování testovacích vektorů je založeno na řešení problému s omezujícími podmínkami, což je ekvivalentní s Constraint Satisfaction problémem. Tento problém spočívá v nalezení řešení, které musí splňovat řadu omezení. V příapěvku jsou dále popsány techniky funkční verifikace a v závěru je představen princip univerzálního generování testovacích vektorů.
Rok
2014
Strany
44-49
Sborník
Počítačové architektury a diagnostika 2014
Konference
Počítačové architektury a diagnostika 2014, Malá Skála, CZ
ISBN
978-80-7494-027-9
Vydavatel
Technická univerzita v Liberci
Místo
Liberec, CZ
BibTeX
@INPROCEEDINGS{FITPUB10762, author = "Ond\v{r}ej \v{C}ekan", title = "Universal Generation of Test Vectors for Functional Verification", pages = "44--49", booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} architektury a diagnostika 2014", year = 2014, location = "Liberec, CZ", publisher = "Liberec University of Technology", ISBN = "978-80-7494-027-9", language = "english", url = "https://www.fit.vut.cz/research/publication/10762" }