Abstract
One of the most challenging problems in high-level testing is to reduce the size of a high-level test set while ensuring an adequate fault coverage for various implementations of a function under test. A small and high-coverage test set called a robust coupling delay test set (RCDTS) is derived from the coupling delay test set proposed previously. A partial ordering relationship among delay tests in certain implementations called “restricted” gate networks is used to reduce the size of test sets. The RCDTS still detects all robust path delay faults. This result is extended further to the more general balanced inversion parity networks. A test generation program RTGEN for RCDTSs is then developed, and experiments with it show that significant test set reduction can be achieved.












Similar content being viewed by others
References
Akers SB (1973) Universal test sets for logic networks. IEEE Trans Comput C-22(9):835–839
Bareisa E, Jusas V, Motiejunas K, Seinauskas R (2009) Functional delay test generation based on software prototype. Microelectronics Reliability 49(12):1578–1585
Fukunaga M et al (2003) On effective criterion of path selection for delay testing. In: Proc Asia and South Pacific Design Automation Conf (ASP-DAC), Kitakyushu, Japan, pp 757–762
Hachtel GD, Somenzi F (1996) Logic synthesis and verification algorithms. Kluwer Academic Publishers, Boston, pp 85–87
Kim H, Hayes JP (2001) Realization-independent ATPG for designs with unimplemented blocks. IEEE Trans Comput-Aided Des Integr Circuits Syst 20(2):290–306
Kruseman B, Majhi A, Gronthoud G (2007) On performance testing with path delay patterns. In: Proc of VLSI test symp, pp 29–34
Liou JJ et al (2003) Modeling, testing, and analysis for delay defects and noise effects in deep submicron devices. IEEE Trans Comput-Aided Des Integr Circuits Syst 22(6):756–769
Pomeranz I, Reddy SM (1994) On testing delay faults in macro-based combinational circuits. In: Proc international conf on CAD, pp 332–339
Pomeranz I, Reddy SM (1995) Functional test generation for delay faults in combinational circuits. In: Proc international conf on CAD, pp 687–694
Reddy SM (1973) Complete test sets for logic functions. IEEE Trans Comput C-22(11):1016–1020
Smith GL (1985) Model for delay faults based upon paths. In: Proc international test conf, pp 342–349
Somenzi F (2012) Colorado University decision diagram package. Available online at http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html
Sparmann U, Muller H, Reddy SM (1999) Universal delay test sets for path delay faults. IEEE Trans VLSI Systems 7(2):156–166
Synopsys Inc (2012) Design compiler user’s guide. Available online at http://www.synopsys.com
University of California Berkeley (2012) Espresso examples. Available online at http://embedded.eecs.berkeley.edu/pubs/downloads/espresso
Yi J (2002) High-level function and delay testing for digital circuits. PhD thesis, University of Michigan, Ann Arbor, Michigan, USA
Yi J, Hayes JP (2005) The coupling model for function and delay faults. Journal of Electronic Testing: Theory and Applications (JETTA) 21(6):631–649
Yi J, Hayes JP (2006) High-level delay test generation for modular circuits. IEEE Trans Comput-Aided Des Integr Circuits Syst 25(3):576–590
Acknowledgements
This research was supported in part by the National Science Foundation under Grant No. CCF-1017142 and the Kwangwoon University under Grant No. 60012012036.
Author information
Authors and Affiliations
Corresponding author
Additional information
Responsible Editor: V. Champac
Rights and permissions
About this article
Cite this article
Yi, J., Hayes, J.P. Robust Coupling Delay Test Sets. J Electron Test 28, 375–388 (2012). https://doi.org/10.1007/s10836-012-5292-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10836-012-5292-5