Detail publikace

Universal Generation of Test Vectors for Functional Verification

ČEKAN, O. Universal Generation of Test Vectors for Functional Verification. Počítačové architektury a diagnostika 2014. Liberec: Liberec University of Technology, 2014. p. 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
anglicky
Autoři
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Klíčová slova

Test vector generation, Functional verification, Constraint solver, Constraint Satisfaction Problem, Coverage Directed Test Generation

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
ISBN
978-80-7494-027-9
Vydavatel
Liberec University of Technology
Místo
Liberec
BibTeX 
@inproceedings{BUT111673,
  author="Ondřej {Čekan}",
  title="Universal Generation of Test Vectors for Functional Verification",
  booktitle="Počítačové architektury a diagnostika 2014",
  year="2014",
  pages="44--49",
  publisher="Liberec University of Technology",
  address="Liberec",
  isbn="978-80-7494-027-9"
}
Nahoru