Proc. of IFAC Workshop on Programmable Devices and Systems Conference

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42505" target="_blank" >RIV/00216305:26230/03:PU42505 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Proc. of IFAC Workshop on Programmable Devices and Systems Conference

Original language description

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

Czech name

Sborník IFAC Workshop on Programmable Devices and Systems Conference

Czech description

Tento článek se zabývá nalezením zpětnovazebních smyček v&nbsp;obvodě. Je diskutována možnost reprezentace obvodu pomocí matematické struktury - grafu. Vzájemné propojení mezi prvky obvodu bude diskutováno na základě relace a k&nbsp;ní odpovídající matici sousednosti. Je představena možnost, jak za pomocí relace a matice sousednosti detekovat zpětnovazební smyčku ve zkoumaném obvodě. V&nbsp;závěru je zveřejněn algoritmus, který dokáže vypsat konkrétní cyklické posloupnosti prvků podílející se na zpětnovvazební smyčce. Průběhu celého výkladu je ilustrován na příkladě konkrétního reálného obvodu.

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F01%2F1531" target="_blank" >GA102/01/1531: Formal approaches in digital circuit diagnostics - testable design verification</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2003

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proc. of IFAC Workshop on Programmable Devices and Systems Conference

ISBN

0-08-044130-0

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

447-452

Publisher name

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

Place of publication

Ostrava

Event location

Ostrava

Event date

Feb 11, 2003

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—