Computer-Aided Design, International Conference on (1996)
San Jose, CA
Nov. 10, 1996 to Nov. 14, 1996
I. Hartanto , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
V. Boppana , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
W.K. Fuchs , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (hip-hops) that are either difficult to set or unsettable. This is achieved by performing test generation on certain transformed circuits to identify state elements that are not settable to specific logic values. Two applications that benefit from this identification are sequential circuit test generation and partial scan design. The knowledge of the state space is shown to be useful in creating early backtracks in deterministic test generation. Partial scan selection is also shown to benefit from the knowledge of the difficult-to-set hip-hops. Experiments on the ISCAS89 circuits are presented to show the reduction in time for test generation and the improvements in the testability of the resulting partial scan circuits.
logic testing; unsettable flip-flops identification; partial scan; ATPG; state justification; sequential circuits test generation; state elements; hip-hops; transformed circuits; deterministic test generation; difficult-to-set hip-hops; ISCAS89 circuits
I. Hartanto, W. Fuchs and V. Boppana, "Identification of unsettable flip-flops for partial scan and faster ATPG," Computer-Aided Design, International Conference on(ICCAD), San Jose, CA, 1996, pp. 63.