Detail publikace

The Identification of Registers in RTL Structures

KOTÁSEK, Z., MIKA, D., STRNADEL, J.

Originální název

The Identification of Registers in RTL Structures

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

A highly efficient test schedule can be created for a given digital circuit if a proper test-scheduling algorithm is selected and if the circuit fulfils several criteria that affect the quality of a resulting test schedule significantly and independently on any scheduling algorithm. If a design for testability techniques are applied to the circuit structure, the way in which they are applied have a big impact on those circuit properties. Thus, it is feasible to deal with the relation between application of selected design for testability techniques and the quality of a resulting test schedule in detail. This is a wide research area. Our paper deals with the register selection technique through which a test will be applied. The paper presents a methodology for selecting registers for the test application in such a way that the cardinality of a set of selected registers is minimized and test resources allocated to functional units are shared in a maximum way. Proposed methodology is mathematically described, definitions are clearly illustrated and experimental results together with the future research perspectives are discussed.

Klíčová slova

digital circuit diagnosis, test scheduling, resource selection, register resources, discrete mathematics, graph, relation, Hasse diagram, coverage problem, set minimization, register-transfer level

Autoři

KOTÁSEK, Z., MIKA, D., STRNADEL, J.

Rok RIV

2004

Vydáno

30. 10. 2004

Nakladatel

Department of Computer Science of University of Cyprus

Místo

Nicosia

ISBN

3-540-41613

Kniha

Preliminary Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods ISOLA 2004

Edice

Technical Report TR-2004-6

Strany od

317

Strany do

320

Strany počet

4

BibTex

@inproceedings{BUT17570,
  author="Zdeněk {Kotásek} and Daniel {Mika} and Josef {Strnadel}",
  title="The Identification of Registers in RTL Structures",
  booktitle="Preliminary Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods ISOLA 2004",
  year="2004",
  series="Technical Report TR-2004-6",
  pages="317--320",
  publisher="Department of Computer Science of University of Cyprus",
  address="Nicosia",
  isbn="3-540-41613"
}