On the Role of Hardware Reset in Synchronous Sequential Circuit Test Generation

The existence of hardware reset facilitates the test generation process for synchronous sequential circuits, as compared to test generation that starts from an unspecified initial state. Conventionally, therefore, when hardware reset is available, it is used to reset all state variables to predetermined values, conventionally 0, before a test sequence is applied. In this paper, we show that full hardware reset (i.e., reset that sets all state variables to 0) may sometimes result in test lengths and numbers of undetectable faults which are higher than the corresponding results when partial reset is used, i.e., when only a subset of the state variables are resettable, while the others retain their previous values (unspecified when the circuit is first operated) when reset is applied. The main advantage of partial reset over full reset is that while full reset is only useful once, at the beginning of a test sequence, partial reset can be used while the test sequence is being applied, to transfer the machine from one state to another. Experimental results are provided to support the use of partial reset, a procedure for selecting the state variables for partial reset is developed, and a test generation procedure valid under partial reset is presented. >

[1]  Ralph A. Marlett An Effective Test Generation System for Sequential Circuits , 1986, DAC 1986.

[2]  Kwang-Ting Cheng,et al.  Functional test generation for finite state machines , 1990, Proceedings. International Test Conference 1990.

[3]  Chi W. Yau,et al.  An optimal test sequence for the JTAG/IEEE P1149.1 test access port controller , 1989, Proceedings. 'Meeting the Tests of Time'., International Test Conference.

[4]  Irith Pomeranz,et al.  Classification of Faults in Synchronous Sequential Circuits , 1993, IEEE Trans. Computers.

[5]  S.M. Reddy,et al.  TEST GENERATION FOR SYNCHRONOUS SEQUENTIAL CIRCUITS USING MULTIPLE OBSERVATION TIMES , 1991, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[6]  Irith Pomeranz,et al.  On achieving a complete fault coverage for sequential machines using the transition fault model , 1991, 28th ACM/IEEE Design Automation Conference.

[7]  David S. Johnson,et al.  Some Simplified NP-Complete Graph Problems , 1976, Theor. Comput. Sci..

[8]  Srinivas Devadas,et al.  Test generation and verification for highly sequential circuits , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[9]  Janak H. Patel,et al.  HITEC: a test generation package for sequential circuits , 1991, Proceedings of the European Conference on Design Automation..

[10]  Wu-Tung Cheng,et al.  Gentest: an automatic test-generation system for sequential circuits , 1989, Computer.

[11]  Frederick C. Hennie,et al.  Finite-state Models for Logical Machines , 1968 .