Sborník IFAC Workshop on Programmable Devices and Systems Conference

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Proc. of IFAC Workshop on Programmable Devices and Systems Conference

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Proc. of IFAC Workshop on Programmable Devices and Systems Conference

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F01%2F1531" target="_blank" >GA102/01/1531: Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu</a><br>

Návaznosti

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

Rok uplatnění

2003

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proc. of IFAC Workshop on Programmable Devices and Systems Conference

ISBN

0-08-044130-0

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

447-452

Název nakladatele

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

Místo vydání

Ostrava

Místo konání akce

Ostrava

Datum konání akce

11. 2. 2003

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—