Result Details
The Identification of Registers in RTL Structures
Mika Daniel, Ing., Ph.D.
Strnadel Josef, Ing., Ph.D., DCSY (FIT)
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.
digital circuit diagnosis, test scheduling, resource selection, register resources, discrete mathematics, graph, relation, Hasse diagram, coverage problem, set minimization, register-transfer level
@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",
url="https://www.fit.vut.cz/research/publication/7618/"
}