Abstract
Tests for stuck-open faults in static CMOS circuits consist of a sequence of two input vectors. Such test-pairs may be invalidated by delays in the circuit. Test-pairs that are not invalidated by delays in the circuit are known as robust test-pairs. We present a six-valued logic system Ω = {0, 1, r, f, 0h, 1h}. We show how Ω differs from a number of other logic systems that have been proposed for test generation. This logic system abstracts the important aspects of the transition behavior of the circuit, on application of an input pair, that is necessary to characterize robust test-pairs for stuck-open faults. This characterization of robust test-pairs is used to derive:
-
(i)
an algorithm for determining if a given test-pair is a robust test-pair for a given stuck-open fault or not; and
-
(ii)
a simplified algorithm for computing a robust test-pair for a stuck-open fault. The resulting algorithm for computing robust tests for stuck-open faults can be implemented by minor modifications to test generation algorithms for stuck-at faults.
Similar content being viewed by others
References
S.B. Akers, “A Logic System for Fault-Test Generation,” IEEE Trans. Comput. C-25(6):620–630, 1976.
M.A. Breuer, “A Note on Three-valued Logic Simulation,” IEEE Trans. Comput. C-21(4):399–401, 1972.
M.A. Breuer and L. Harrison, “Procedures for Eliminating Static and Dynamic Hazards in Test Generation,” IEEE Trans. Comput. C-23:1069–1075, 1974.
M.A. Breuer and A.D. Friedman, Diagnosis and Reliable Design of Digital Systems, Computer Science Press, Rockland, MD, 1976.
R. Chandramouli, “On Testing Stuck-open Faults,” Proc. 13th Intern. Fault-Tolerant Comput. Symp., pp. 258–265, June 1983.
H.H. Chen, R.G. Mathews, and J.A. Newkirk, “An Algorithm to Generate Tests for MOS Circuits at the Switch Level,” Proc. Intern. Test Conf., Philadelphia, 1985, pp. 304–312.
K.W. Chiang and Z.G. Vranesic, “On Fault Detection in CMOS Logic Networks,” Proc. 20th Design Autom. Conf., pp. 50–56, June 1983.
H. Cox and J. Rajski, “A Method for Fault Analysis for Test Generation and Fault Diagnosis,” IEEE Trans. Comput.-Aided Design CAD-7(7):813–833, 1988.
E.B. Eichelberger, “Hazard Detection in Combinational and Sequential Switching Circuits,” IBM J. Res. Develop. 9:90–99, March 1965.
Y.M. El-Ziq, “Automatic Test Generation for Stuck-open Faults in CMOS VLSI,” Proc. 18th Design Automat. Conf. June 1981, pp. 347–354.
Y.M. El-Ziq and R.J. Cloutier, “Functional Level Test Generation for Stuck-open Faults in CMOS VLSI,” Digest of Papers 1981 Intern. Test Conf., Oct. 1981, pp. 536–546.
S.K. Jain and V.D. Agrawal, “Modelling and Test Generation Algorithms for MOS Circuits,” IEEE Trans. Comput. C-34:426–433, May 1985.
C.J. Lin and S.M. Reddy, “On Delay Fault Testing in Logic Circuits,” IEEE Trans. Comput.-Aided Design CAD-6(5): 694–703, 1987.
P. Muth, “A Nine-Valued Logic for Test Generation,” IEEE Trans. Comput., vol. 25, 1976.
M.K. Reddy, S.M. Reddy, and P. Agrawal, “Transistor Level Test Generation for MOS Circuits at the Switch Level,” Proc. Intern. Test Conf., pp. 304–312, Philadelphia, 1985.
S.M. Reddy, M.K. Reddy, and V.D. Agrawal, “Robust Tests for Stuck-open Faults in CMOS Combinational Circuits,” Proc. 14th Fault Tolerant Comp. Symp. 1984, pp. 44–49.
J.P. Roth, et al., “Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits,” IEEE Trans. Comput., EC-16(10):567–580, 1967.
M.H. Schulz, K. Fuchs, and F. Fink, “Advanced Automatic Test Pattern Generation Techniques for Path Delay Faults,” 19th Intern. Symp. Fault-Tolerant Comput. pp. 44–51, 1989.
G.L. Smith, “Model for Delay Faults Based upon Paths,” in Proc. IEEE Intern. Test Conf. pp. 342–349, 1985.
R.L. Wadsack, “Fault Modelling and Logic Simulation of CMOS and MOS Integrated Circuits,” Bell Systems Tech. J. 57(5):1449–1474, 1978.
J. Wang, T. Kuo, and J. Lee, “A New Approach to Derive Robust Tests for Stuck-open Faults in CMOS Combinational Logic Circuits,” Proc. 26th ACM/IEEE Design Autom. Conf., pp. 726–729, 1989.
E. Horowitz and S. Sahni, Fundamentals of Data Structures, Computer Science Press: Rockland, MD, 1976.
H. Fujiwara and T. Shimono, “On the Acceleration of Test Generation Algorithms,” Proc. Intern. Symp. Fault-Tolerant Comput., pp. 98–105, June 1983.
P. Goel, “An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits,” IEEE Trans. Comput. C-30:215–222, March 1981.
Author information
Authors and Affiliations
Additional information
Research supported by NSF Grant No. MIP-8807540.
Rights and permissions
About this article
Cite this article
Chakravarty, S. A characterization of robust test-pairs for stuck-open faults. J Electron Test 1, 275–286 (1991). https://doi.org/10.1007/BF00136316
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00136316