Result Details

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

ZACHARIÁŠOVÁ, M.; BOLCHINI, C.; KOTÁSEK, Z. Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability. Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Avignon: COST, European Cooperation in Science and Technology, 2013. p. 35-38. ISBN: 978-2-11-129175-1.
Type
conference paper
Language
English
Authors
Zachariášová Marcela, Ing., Ph.D., DCSY (FIT)
Bolchini Cristiana
Kotásek Zdeněk, doc. Ing., CSc., DCSY (FIT), UTKO (FEEC)
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.

Keywords

ATPG, functional verification.

Published
2013
Pages
35–38
Proceedings
Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale
ISBN
978-2-11-129175-1
Publisher
COST, European Cooperation in Science and Technology
Place
Avignon
BibTeX 
@inproceedings{BUT103529,
  author="Marcela {Zachariášová} and Cristiana {Bolchini} and Zdeněk {Kotásek}",
  title="Analysis and Comparison of Functional Verification and ATPG for Testing Design Reliability",
  booktitle="Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale",
  year="2013",
  pages="35--38",
  publisher="COST, European Cooperation in Science and Technology",
  address="Avignon",
  isbn="978-2-11-129175-1"
}
Projects
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, start: 2011-01-01, end: 2013-12-31, completed
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Manufacturable and Dependable Multicore Architectures at Nanoscale, MŠMT, COST, COST IC1103, start: 2011-06-15, end: 2015-12-31, completed
Methodologies for Fault Tolerant Systems Design Development, Implementation and Verification, MŠMT, COST CZ (2011-2017), LD12036, start: 2012-03-01, end: 2015-11-30, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Dependable Digital Systems Research Group (RG DEPSYS)
Departments
Department of Computer Systems (DCSY)
Back to top