Faculty of Information Technology, BUT

Publication Details

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: Liberec University of Technology, 2014, pp. 44-49. ISBN 978-80-7494-027-9.
Czech title
Univerzální generování testovacích vektorů pro funkční verifikaci
Type
conference paper
Language
english
Authors
Čekan Ondřej, Ing. (DCSY FIT BUT)
Keywords
Test vector generation, Functional verification, Constraint solver, Constraint Satisfaction Problem, Coverage Directed Test Generation
Abstract
The goal of this paper is to sumarize information about test vector generation for functional verification. Test vector generation is based on problem of solving constraints which is equivalent to Constraint Satisfaction Problem. The problem consists of finding a solution (assignments for variables) that must satisfy certain constraints. In the paper, the principles of functional verification and Coverage Directed Test Generation as one of the latest techniques for functional verification are also described. In the final part of the paper we propose a solution of universal generation of test vectors based on solving the constraints.
Published
2014
Pages
44-49
Proceedings
Počítačové architektury a diagnostika 2014
Conference
Počítačové architektury a diagnostika 2014, Malá Skála, CZ
ISBN
978-80-7494-027-9
Publisher
Liberec University of Technology
Place
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"
}
Back to top