Detail výsledku

Methodologies of RTL Partial Scan Analysis and Their Comparison

KOTÁSEK, Z.; MIKA, D.; STRNADEL, J. Methodologies of RTL Partial Scan Analysis and Their Comparison. Proceeding of IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems. Poznaň: Publishing House of Poznan University of Technology, 2003. p. 233-238. ISBN: 83-7143-557-6.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kotásek Zdeněk, doc. Ing., CSc.
Mika Daniel, Ing., Ph.D., FIT (FIT)
Strnadel Josef, Ing., Ph.D., FIT (FIT)
Abstrakt

In the paper, two different methodologies for the identification ofregisters to be included into the partial scan chain and principles oftheir implementation are described briefly. One of them is based on theutilisation of genetic algorithms, the other one on the identificationof feedback loops. An attention is paid to the computation of time andspace complexities of the developed algorithms. The possibility of thecomplete state-space exploration (all possible scan chainconfigurations) is also discussed. It is derived that algorithms basedon genetic algorithms allow to gain sub-optimal solutions whilefulfilling user requirements. The combination of both methodologies isinvestigated and the complexities analysed. Experimental results aredescribed.

Klíčová slova

Register Transfer Level, Feedback Loop, Genetic Algorithm

Rok
2003
Strany
233–238
Sborník
Proceeding of IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems
Konference
6th IEEE International Workshop On DDECS
ISBN
83-7143-557-6
Vydavatel
Publishing House of Poznan University of Technology
Místo
Poznaň
BibTeX
@inproceedings{BUT13958,
  author="Zdeněk {Kotásek} and Daniel {Mika} and Josef {Strnadel}",
  title="Methodologies of RTL Partial Scan Analysis and Their Comparison",
  booktitle="Proceeding of IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems",
  year="2003",
  pages="233--238",
  publisher="Publishing House of Poznan University of Technology",
  address="Poznaň",
  isbn="83-7143-557-6"
}
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
Pracoviště
Nahoru