Publication detail

The Identification of Registers in RTL Structures

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

Original Title

The Identification of Registers in RTL Structures

Type

conference paper

Language

English

Original Abstract

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.

Keywords

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

Authors

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

RIV year

2004

Released

30. 10. 2004

Publisher

Department of Computer Science of University of Cyprus

Location

Nicosia

ISBN

3-540-41613

Book

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

Edition

Technical Report TR-2004-6

Pages from

317

Pages to

320

Pages count

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"
}