Publication detail

Proc. of IFAC Workshop on Programmable Devices and Systems Conference

MIKA, D., KOTÁSEK, Z.

Original Title

Proc. of IFAC Workshop on Programmable Devices and Systems Conference

English Title

Proc. of IFAC Workshop on Programmable Devices and Systems Conference

Type

conference paper

Language

en

Original 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.

English 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.

Keywords

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

RIV year

2003

Released

11.02.2003

Publisher

Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava

Location

Ostrava

ISBN

0-08-044130-0

Book

Proc. of IFAC Workshop on Programmable Devices and Systems Conference

Pages from

447

Pages to

452

Pages count

6

Documents

BibTex


@inproceedings{BUT13787,
  author="Daniel {Mika} and Zdeněk {Kotásek}",
  title="Proc. of IFAC Workshop on Programmable Devices and Systems Conference",
  annote="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.",
  address="Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava",
  booktitle="Proc. of IFAC Workshop on Programmable Devices and Systems Conference",
  chapter="13787",
  institution="Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava",
  year="2003",
  month="february",
  pages="447--452",
  publisher="Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava",
  type="conference paper"
}