Detail publikace

The Identification of Feedback Loops in RTL Structures

ZBOŘIL František V., KOTÁSEK Zdeněk, MIKA Daniel a STRNADEL Josef. 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: Technická univerzita v Košiciach, 2002, s. 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
angličtina
Autoři
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Mika Daniel, Ing. (UPSY FIT VUT)
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT)
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
Konference
The Fifth International Scientific Conference Electronic Computers and Informatics 2002, Herľany, SK
ISBN
80-7099-879-2
Vydavatel
Technická univerzita v Košiciach
Místo
Košice, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6996,
   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 = "https://www.fit.vut.cz/research/publication/6996"
}
Nahoru