Detail publikace
Identifikace zpětnovazebních smyček v RTL strukturách
ZBOŘIL, F. KOTÁSEK, Z. MIKA, D. STRNADEL, J.
Český název
Identifikace zpětnovazebních smyček v RTL strukturách
Anglický název
The Identification of Feedback Loops in RTL Structures
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
en
Originální abstrakt
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.
Český abstrakt
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.
Anglický abstrakt
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.
Klíčová slova anglicky
VHDL, register transfer level, PROLOG, database transformation, feedback loop analysis
Rok RIV
2002
Vydáno
01.09.2002
Nakladatel
The University of Technology Košice
Místo
Košice
ISBN
80-7099-879-2
Kniha
Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002
Strany od–do
142–147
Počet stran
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"
}