Detail publikačního výsledku

The Identification of Feedback Loops in RTL Structures

ZBOŘIL, F., KOTÁSEK, Z., MIKA, D., STRNADEL, J.

Originální název

The Identification of Feedback Loops in RTL Structures

Anglický název

The Identification of Feedback Loops in RTL Structures

Druh

Stať ve sborníku v databázi WoS či Scopus

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.

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

VHDL, register transfer level, PROLOG, database transformation, feedback loop analysis

Klíčová slova v angličtině

VHDL, register transfer level, PROLOG, database transformation, feedback loop analysis

Autoři

ZBOŘIL, F., KOTÁSEK, Z., MIKA, D., STRNADEL, J.

Rok RIV

2011

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

Edice

Edition 55

Strany od

142

Strany do

147

Strany počet

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",
  series="Edition 55",
  pages="142--147",
  publisher="The University of Technology Košice",
  address="Košice",
  isbn="80-7099-879-2"
}