Title
Synthesis for Testability by Two-Clock Control
Abstract
In previous studies clock control has been inserted after design to improve the testability of a sequential circuit. In this paper we propose a two-clock control scheme that is included as a part of the logic synthesis of a finite state machine (FSM). The scheme has low area overhead and competes well with scan methods in its ability to initialize and observe circuit states. The states of the machine are assigned a pair of binary values using a novel split coding system. The purpose of the encoding is to ease navigation between any pair of states using a combination of normal and test-mode transitions. We require a Hamiltonian cycle to exist in the state transition graph. Our investigation of the FSM benchmark shows that either such a cycle already exists or can be created with the insertion of a small number of transition edges. We also present synthesis results to show that the area penalty is small.
Year
DOI
Venue
1997
10.1109/ICVD.1997.568090
VLSI Design
Keywords
Field
DocType
sequential circuits,sequential analysis,design for testability,logic design,hamiltonian cycle,sequential circuit,logic synthesis,navigation,automata,finite state machine,finite state machines,logic,encoding
Design for testing,Testability,Logic synthesis,Sequential logic,Hamiltonian path,Computer science,Algorithm,Real-time computing,Finite-state machine,Electronic engineering,Encoding (memory),Binary number
Conference
ISBN
Citations 
PageRank 
0-8186-7755-4
3
0.42
References 
Authors
8
3
Name
Order
Citations
PageRank
Shashank K. Mehta14511.65
Kent L. Einspahr2192.63
Sharad C. Seth367193.61