The Identification of Feedback Loops in RTL Structures

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F02%3APU36254" target="_blank" >RIV/00216305:26230/02:PU36254 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

The Identification of Feedback Loops in RTL Structures

Popis výsledku v původním jazyce

The existence of feedback loops in RTL structures appears as a source of problems when we search for the way in which the test will be applied. Thus, the problem of loops identification becomes an important task during RTL testability analysis. An approach utilising PROLOG tools will be presented in the paper. First, the transformation of VHDL description into the structure which can be further processed by means of PROLOG tools will be presented. The transformation is provided in two steps. The algoritthms enabling to identify feedback loops operating on the structure will be then described.

Název v anglickém jazyce

The Identification of Feedback Loops in RTL Structures

Popis výsledku anglicky

The existence of feedback loops in RTL structures appears as a source of problems when we search for the way in which the test will be applied. Thus, the problem of loops identification becomes an important task during RTL testability analysis. An approach utilising PROLOG tools will be presented in the paper. First, the transformation of VHDL description into the structure which can be further processed by means of PROLOG tools will be presented. The transformation is provided in two steps. The algoritthms enabling to identify feedback loops operating on the structure will be then described.

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

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2002

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

Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002

ISBN

80-7099-879-2

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

142-147

Název nakladatele

The University of Technology Košice

Místo vydání

Košice

Místo konání akce

Kosice-Herlany

Datum konání akce

10. 10. 2002

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

EUR - Evropská akce

Kód UT WoS článku

—