Publication detail

The Identification of Feedback Loops in RTL Structures

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

Original Title

The Identification of Feedback Loops in RTL Structures

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.

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

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

Edition

Edition 55

Pages from

142

Pages to

147

Pages count

6

Documents

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",
  annote="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.",
  address="The University of Technology Košice",
  booktitle="Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002",
  chapter="10248",
  edition="Edition 55",
  howpublished="print",
  institution="The University of Technology Košice",
  year="2002",
  month="september",
  pages="142--147",
  publisher="The University of Technology Košice",
  type="conference paper"
}