Detail výsledku
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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Zbořil František, doc. Ing., CSc.
Kotásek Zdeněk, doc. Ing., CSc.
Mika Daniel, Ing., Ph.D.
Strnadel Josef, Ing., Ph.D.
Kotásek Zdeněk, doc. Ing., CSc.
Mika Daniel, Ing., Ph.D.
Strnadel Josef, Ing., Ph.D.
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
Rok
2002
Strany
142–147
Sborník
Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002
Řada
Edition 55
Konference
Electronic Computers and Informatics'2002
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"
}
Projekty
Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu, GAČR, Standardní projekty, GA102/01/1531, zahájení: 2001-01-01, ukončení: 2003-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina inteligentních systémů (VZ INTSYS)
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště