. . . . "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."@en . "2"^^ . . . . "Proc. of IFAC Workshop on Programmable Devices and Systems Conference" . . "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." . . . . "Proc. of IFAC Workshop on Programmable Devices and Systems Conference"@en . "Mika, Daniel" . "N, P(GA102/01/1531), V" . "RIV/00216305:26230/03:PU42505!RIV11-MSM-26230___" . "0-08-044130-0" . . . "Vysok\u00E1 \u0161kola b\u00E1\u0148sk\u00E1 - Technick\u00E1 univerzita Ostrava. Fakulta elektrotechniky a informatiky" . . . "Ostrava" . . "RIV/00216305:26230/03:PU42505" . "Ostrava" . "6"^^ . "Kot\u00E1sek, Zden\u011Bk" . . . . . "26230" . "623487" . . "2003-02-11+01:00"^^ . . "Proc. of IFAC Workshop on Programmable Devices and Systems Conference" . "Proc. of IFAC Workshop on Programmable Devices and Systems Conference"@en . "Proc. of IFAC Workshop on Programmable Devices and Systems Conference" . "adjacency matrix, register transfer level, testability analysis, data transporters, data processors, relations, graphs"@en . . "2"^^ . "[8AAACEE1BF7F]" .