The Identification of Feedback Loops in RTL Structures

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
The Identification of Feedback Loops in RTL Structures
Original language description
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.
Czech name
—
Czech description
—

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
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2002
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
Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002
ISBN
80-7099-879-2
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
142-147
Publisher name
The University of Technology Košice
Place of publication
Košice
Event location
Kosice-Herlany
Event date
Oct 10, 2002
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)