Conference paperKOTÁSEK Zdeněk and RŮŽIČKA Richard. Testability Analysis Based on Discrete Mathematics Concepts. In: Proc. of the 9th International Colloquium on Numerical Analysis and Computer Science with Applications. Plovdiv: unknown, 2000, p. 113.  Publication language:  english 

Original title:  Testability Analysis Based on Discrete Mathematics Concepts 

Title (cs):  Analýza testovatelnosti založená na konceptech diskrétní matematiky 

Pages:  113 

Proceedings:  Proc. of the 9th International Colloquium on Numerical Analysis and Computer Science with Applications 

Place:  Plovdiv, BG 

Year:  2000 

Keywords 

designfortestability, testability analysis, i paths, scan 
Annotation 

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. 
BibTeX: 

@INPROCEEDINGS{
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 9th International Colloquium on Numerical
Analysis and Computer Science with Applications},
year = {2000},
location = {Plovdiv, BG},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6386}
} 
