Publication Details

Feedback loops detection for RT circuit test application purposes based on an algebraic method

MIKA Daniel and KOTÁSEK Zdeněk. Proc. of IFAC Workshop on Programmable Devices and Systems Conference. In: Proc. of IFAC Workshop on Programmable Devices and Systems Conference. Ostrava: Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava, 2003, pp. 447-452. ISBN 0-08-044130-0.
Czech title
Sborník IFAC Workshop on Programmable Devices and Systems Conference
Type
conference paper
Language
english
Authors
Mika Daniel, Ing. (DCSY FIT BUT)
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT)
Keywords

adjacency matrix, register transfer level, testability analysis, data transporters, data processors, relations, graphs

Abstract

In the paper, the problem of feedback loops identification in a digital circuit is discussed. The alternative of a circuit representation as a mathematical structure - labelled directed graph - is presented. It is shown how mutual interconnections between circuit elements can be analysed - relation and adjacency matrices will be used for this purpose. It will be presented how to detect feedback loops in the circuit by means of mathematical operations on relation and adjacency matrices. The set of sequences of elements, each sequence represented by the list of elements in feedback loops is the output of the methodology. The principles of the methodology will be illustrated on an example.

Published
2003
Pages
447-452
Proceedings
Proc. of IFAC Workshop on Programmable Devices and Systems Conference
Conference
IFAC Workshop on Programmable Devices and Systems, Ostrava, CZ
ISBN
0-08-044130-0
Publisher
Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava
Place
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7129,
   author = "Daniel Mika and Zden\v{e}k Kot\'{a}sek",
   title = "Feedback loops detection for RT circuit test application purposes based on an algebraic method",
   pages = "447--452",
   booktitle = "Proc. of IFAC Workshop on Programmable Devices and Systems Conference",
   year = 2003,
   location = "Ostrava, CZ",
   publisher = "Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava",
   ISBN = "0-08-044130-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7129"
}
Back to top