Conference paper

ZBOŘIL František V., KOTÁSEK Zdeněk, MIKA Daniel and STRNADEL Josef. The Identification of Feedback Loops in RTL Structures. In: Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002. Košice: The University of Technology Košice, 2002, pp. 142-147. ISBN 80-7099-879-2.
Publication language:english
Original title:The Identification of Feedback Loops in RTL Structures
Title (cs):Identifikace zpětnovazebních smyček v RTL strukturách
Pages:142-147
Proceedings:Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002
Conference:The Fifth International Scientific Conference Electronic Computers and Informatics 2002
Series:Edition 55
Place:Košice, CZ
Year:2002
ISBN:80-7099-879-2
Publisher:The University of Technology Košice
Keywords
VHDL, register transfer level, PROLOG, database transformation, feedback loop analysis
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {V. Franti{\v{s}}ek Zbo{\v{r}}il and Zden{\v{e}}k
	Kot{\'{a}}sek and Daniel Mika and Josef Strnadel},
   title = {The Identification of Feedback Loops in RTL Structures},
   pages = {142--147},
   booktitle = {Proceedings of The fifth International Scientific Conference
	Electronic Computers and Informatics 2002},
   series = {Edition 55},
   year = {2002},
   location = {Ko{\v{s}}ice, CZ},
   publisher = {The University of Technology Ko{\v{s}}ice},
   ISBN = {80-7099-879-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6996}
}

Your IPv4 address: 54.80.132.10
Switch to IPv6 connection

DNSSEC [dnssec]