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. (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"
}
Nahoru