Conference paper

KOTÁSEK Zdeněk, MIKA Daniel and STRNADEL Josef. The Identification of Registers in RTL Structures. In: Preliminary Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods ISOLA 2004. Nicosia: Department of Computer Science of University of Cyprus, 2004, pp. 317-320. ISBN 3-540-41613.
Publication language:english
Original title:The Identification of Registers in RTL Structures
Title (cs):Identifikace registrů v RTL obvodech
Pages:317-320
Proceedings:Preliminary Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods ISOLA 2004
Conference:ISoLA - 1st International Symposium on Leveraging Applications of Formal Methods
Series:Technical Report TR-2004-6
Place:Nicosia, CY
Year:2004
ISBN:3-540-41613
Publisher:Department of Computer Science of University of Cyprus
Files: 
+Type Name Title Size Last modified
icon2004-isola.pdf199 KB2008-01-30 10:48:09
^ Select all
With selected:
Keywords
digital circuit diagnosis, test scheduling, resource selection, register resources, discrete mathematics, graph, relation, Hasse diagram, coverage problem, set minimization, register-transfer level
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Zden{\v{e}}k Kot{\'{a}}sek and Daniel Mika and Josef
	Strnadel},
   title = {The Identification of Registers in RTL Structures},
   pages = {317--320},
   booktitle = {Preliminary Proceedings of 1st International Symposium on
	Leveraging Applications of Formal Methods ISOLA 2004},
   series = {Technical Report TR-2004-6},
   year = {2004},
   location = {Nicosia, CY},
   publisher = {Department of Computer Science of University of Cyprus},
   ISBN = {3-540-41613},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7618}
}

Your IPv4 address: 54.166.150.10
Switch to IPv6 connection

DNSSEC [dnssec]