Publication Details

Formal and Analytical Approaches to the Testability Analysis - the Comparison

KOTÁSEK Zdeněk, RŮŽIČKA Richard and STRNADEL Josef. Formal and Analytical Approaches to the Testability Analysis - the Comparison. In: Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop 2001. Gyor: SZIF-UNIVERSITAS Ltd., Hungary, 2001, pp. 123-128. ISBN 963-7175-16-4.
Type
conference paper
Language
english
Authors
Kotásek Zdeněk, Doc. Ing., CSc. (DCSE FEECS BUT)
Růžička Richard, Ing. (DCSE FEECS BUT)
Strnadel Josef, Ing. (DCSE FEECS BUT)
URL
Keywords

RTL testability analysis

Abstract

The paper deals with two approaches to the RTL testability analysis - formal and analytical ones and their results. The formal approach is based on the theory of set and the predicate logic concepts and algorithms, while the analytical approach applies controllability/observability metrics as a population for genetic algorithm procedures. The reasons for RTL testability analysis are described together with possible solutions. The goal of both methodologies is to utilise the data paths existing in the in the UUA (Unit Under Analysis) to reduce necessary modifications and recommend registers for scan. Possible modifications are discussed from the area overhead point of view.

Published
2001
Pages
123-128
Proceedings
Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop 2001
Conference
IEEE Design and Diagnostics of Electronic Circuits and Systems 2001, Gyor, HU
ISBN
963-7175-16-4
Publisher
SZIF-UNIVERSITAS Ltd., Hungary
Place
Gyor, HU
BibTeX 
@INPROCEEDINGS{FITPUB6692,
   author = "Zden\v{e}k Kot\'{a}sek and Richard R\r{u}\v{z}i\v{c}ka and Josef Strnadel",
   title = "Formal and Analytical Approaches to the Testability Analysis - the Comparison",
   pages = "123--128",
   booktitle = "Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop 2001",
   year = 2001,
   location = "Gyor, HU",
   publisher = "SZIF-UNIVERSITAS Ltd., Hungary",
   ISBN = "963-7175-16-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6692"
}
Back to top