Publication detail
The Identification of Feedback Loops in RTL Structures
ZBOŘIL, F. KOTÁSEK, Z. MIKA, D. STRNADEL, J.
Czech title
Identifikace zpětnovazebních smyček v RTL strukturách
English title
The Identification of Feedback Loops in RTL Structures
Type
conference paper
Language
en
Original abstract
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 algorithms enabling to identify feedback loops operating on the structure will be then described.
Czech abstract
Existence zpětnovazebních smyček ve struktuře RTL obvodu komplikuje aplikaci testu na tento obvod. Detekce a následná eliminace smyček se tedy stala významnou částí procesu analýzy testovatelnosti. Ve článku je představena metoda detekce smyček využívající nástrojů jazyka PROLOG.
English abstract
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 algorithms enabling to identify feedback loops operating on the structure will be then described.
Keywords in English
VHDL, register transfer level, PROLOG, database transformation, feedback loop analysis
RIV year
2002
Released
01.09.2002
Publisher
The University of Technology Košice
Location
Košice
ISBN
80-7099-879-2
Book
Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002
Pages from–to
142–147
Pages count
6
BIBTEX
@inproceedings{BUT10248,
author="František {Zbořil} and Zdeněk {Kotásek} and Daniel {Mika} and Josef {Strnadel},
title="The Identification of Feedback Loops in RTL Structures",
booktitle="Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002",
year="2002",
month="September",
pages="142--147",
publisher="The University of Technology Košice",
address="Košice",
isbn="80-7099-879-2"
}