Publication Details

The Implementation of RTL Testability Analysis Algorithms trough the Discrete Mathematics Concepts

KOTÁSEK Zdeněk and RŮŽIČKA Richard. The Implementation of RTL Testability Analysis Algorithms trough the Discrete Mathematics Concepts. In: Proc. of the Fourth International Scientific Conference on Electronic Computers and Informatics. Košice-Herľany: unknown, 2000, pp. 177-182. ISBN 80-88922-25-9.
Czech title
Implementace analýzy testovatelnosti obvodu na úrovni RT s využitím diskrétní matematiky
Type
conference paper
Language
english
Authors
Kotásek Zdeněk, Doc. Ing., CSc. (DCSE FEECS BUT)
Růžička Richard, Ing. (DCSE FEECS BUT)
Keywords

i path, design-for-testability, testability analysis

Abstract

In the paper a formal approach to the RT level testability analysis will be presented. It will be shown how the discrete mathematics concepts can be used for the testability analysis. The elements of the circuit are classified into sets according to their function in the design and role during the test application. Then, other sets, relation and mappings are defined to reflect the role of registers and the structure of i path in the circuit. These formal tools are then used to prove the testability of the circuit under analysis.

Published
2000
Pages
177-182
Proceedings
Proc. of the Fourth International Scientific Conference on Electronic Computers and Informatics
ISBN
80-88922-25-9
Place
Košice-Herľany, SK
BibTeX 
@INPROCEEDINGS{FITPUB6384,
   author = "Zden\v{e}k Kot\'{a}sek and Richard R\r{u}\v{z}i\v{c}ka",
   title = "The Implementation of RTL Testability Analysis Algorithms trough the Discrete Mathematics Concepts",
   pages = "177--182",
   booktitle = "Proc. of the Fourth International Scientific Conference on Electronic Computers and Informatics",
   year = 2000,
   location = "Ko\v{s}ice-Her\'{l}any, SK",
   ISBN = "80-88922-25-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6384"
}
Back to top