Conference paper

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.
Publication language:english
Original title:Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability
Title (cs):Analýza a porovnání funkční verifikace a ATPG pro testování spolehlivosti
Pages:35-38
Proceedings:Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale
Conference:MEDIAN 2013
Place:Avignon, FR
Year:2013
ISBN:978-2-11-129175-1
Publisher:COST, European Cooperation in Science and Technology
Keywords
ATPG, functional verification.
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10388}
}

Your IPv4 address: 54.80.137.168
Switch to IPv6 connection

DNSSEC [dnssec]