Publication Details

Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability

ZACHARIÁŠOVÁ Marcela, BOLCHINI Cristiana and KOTÁSEK Zdeněk. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. In: Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Avignon: COST, European Cooperation in Science and Technology, 2013, pp. 35-38. ISBN 978-2-11-129175-1.
Czech title
Analýza a porovnání funkční verifikace a ATPG pro testování spolehlivosti
Type
conference paper
Language
english
Authors
Zachariášová Marcela, Ing., Ph.D. (DCSY FIT BUT)
Bolchini Cristiana (Polimi)
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT)
Keywords

ATPG, functional verification.

Abstract

In this paper we performed a detailed analysis of two approaches devoted to generation of input test vectors with respect to detection of stuck-at faults: the rst one is Automatic Test Pattern Generation, the second one is Constrained-random Stimulus Generation. We evaluated their qualities as well as their drawbacks and introduced ideas about their combination in order
to create a new promising approach for testing reliable systems.

Published
2013
Pages
35-38
Proceedings
Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale
Conference
MEDIAN 2013, Avignon, FR
ISBN
978-2-11-129175-1
Publisher
COST, European Cooperation in Science and Technology
Place
Avignon, FR
BibTeX 
@INPROCEEDINGS{FITPUB10388,
   author = "Marcela Zachari\'{a}\v{s}ov\'{a} and Cristiana Bolchini and Zden\v{e}k Kot\'{a}sek",
   title = "Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability",
   pages = "35--38",
   booktitle = "Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale",
   year = 2013,
   location = "Avignon, FR",
   publisher = "COST, European Cooperation in Science and Technology",
   ISBN = "978-2-11-129175-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10388"
}
Back to top