Publication Details

Testability Analysis Based on Discrete Mathematics Concepts

KOTÁSEK Zdeněk and RŮŽIČKA Richard. Testability Analysis Based on Discrete Mathematics Concepts. In: Proc. of the 9-th International Colloquium on Numerical Analysis and Computer Science with Applications. Plovdiv: unknown, 2000, p. 113.
Czech title
Analýza testovatelnosti založená na konceptech diskrétní matematiky
Type
conference paper
Language
english
Authors
Keywords

design-for-testability, testability analysis, i paths, scan

Abstract

Most of testability methodologies published so far are based on the circuit structure analysis and heuristic approaches. One of the possibilities is to analyze the VHDL description of the circuit. In our opinion, the implementation of a testability analysis methodology requires to extract the structure of the circuit from the internal representation of the circuit and its transformation into a useable database first. The testability analysis algorithms then operate on the database rather than on the data representing the internal structure of the circuit. In our research activities we deal with the Register Transfer Level testability analysis. Our methodology is based on evaluating the possible role of registers during the test application on the basis of which the elements are included into sets, the structure of the circuit and the transparency properties of elements are taken into account during the analysis. Once the sets are created, different relations between elements can be investigated. Such approach allows to identify different configurations of the circuit and to describe their properties by means of the discrete mathematic concepts and tools.

Published
2000
Pages
113
Proceedings
Proc. of the 9-th International Colloquium on Numerical Analysis and Computer Science with Applications
Place
Plovdiv, BG
BibTeX
@INPROCEEDINGS{FITPUB6386,
   author = "Zden\v{e}k Kot\'{a}sek and Richard R\r{u}\v{z}i\v{c}ka",
   title = "Testability Analysis Based on Discrete Mathematics Concepts",
   pages = 113,
   booktitle = "Proc. of the 9-th International Colloquium on Numerical Analysis and Computer Science with Applications",
   year = 2000,
   location = "Plovdiv, BG",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6386"
}
Back to top