Detail publikace

The Identification of Feedback Loops in RTL Structures

ZBOŘIL, F., KOTÁSEK, Z., MIKA, D., STRNADEL, J. The Identification of Feedback Loops in RTL Structures. In Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002. Edition 55. Košice: The University of Technology Košice, 2002. p. 142-147. ISBN: 80-7099-879-2.
Název česky
Identifikace zpětnovazebních smyček v RTL strukturách
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Zbořil František, doc. Ing., CSc. (UITS)
Kotásek Zdeněk, doc. Ing., CSc.
Mika Daniel, Ing., Ph.D.
Strnadel Josef, Ing., Ph.D. (UPSY)
Klíčová slova

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

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.

Rok
2002
Strany
142–147
Sborník
Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002
Řada
Edition 55
ISBN
80-7099-879-2
Vydavatel
The University of Technology Košice
Místo
Košice
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"
}
Nahoru