On the role of hardware reset in synchronous sequential circuit test generation
- 1 January 1994
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 43 (9) , 1100-1105
- https://doi.org/10.1109/12.312119
Abstract
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 work, 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.Keywords
This publication has 10 references indexed in Scilit:
- An optimal test sequence for the JTAG/IEEE P1149.1 test access port controllerPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Test generation for synchronous sequential circuits using multiple observation timesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- HITEC: a test generation package for sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Functional test generation for finite state machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Some simplified NP-complete graph problemsPublished by Elsevier ,2002
- Classification of faults in synchronous sequential circuitsIEEE Transactions on Computers, 1993
- Test generation and verification for highly sequential circuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
- On achieving a complete fault coverage for sequential machines using the transition fault modelPublished by Association for Computing Machinery (ACM) ,1991
- Gentest: an automatic test-generation system for sequential circuitsComputer, 1989
- An Effective Test Generation System for Sequential CircuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986