Browse > Article

Path Delay Test-Set Preservation of De Morgan and Re-Substitution Transformations  

Yi, Joon-Hwan (Computer Engineering, Kwangwoon University)
Lee, Hyun-Seok (Electronics and Communications, Kwangwoon University)
Publication Information
Abstract
Two logic transformations, De Morgan and re-substitution, are sufficient to convert a unate gate network (UGN) to a more general balanced inversion parity (BIP) network. Circuit classes of interest are discussed in detail. We prove that De Morgan and re-substitution transformations are test-set preserving for path delay faults. Using the results of this paper, we can easily show that a high-level test set for a function z that detects all path delay faults in any UGN realizing z also detects all path delay faults in any BIP realization of z.
Keywords
path delay fault; test-set preserving; testability; logic transformation; De Morgan; re-substitution;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 S. Charkravarty, 'A study of theoretical issues in the synthesis of delay fault testability circuits,' IEEE Trasn. on Computers, vol. 45, no. 8, pp. 985-991, Aug. 1996   DOI   ScienceOn
2 J. Yi and J. P. Hayes, 'The coupling fault model for function and delay faults,' Journal of Electronic Testing Theory and Applications, vol. 21, no. 6, pp. 631-649, Dec. 2005   DOI   ScienceOn
3 H. Kim and J. Hayes, 'Realization-independent ATPG for designs with unimplemented blocks,' IEEE Tras. on CAD, vol. 20, no. 2, pp. 290-306, 2001.   DOI   ScienceOn
4 H. Henster, R. Drechaler, and B. Becker, 'On the application of local circuit transformations with special emphasis on path delay fault testability,' Proc. of IEEE VLSI Test Symposium, pp. 387-392, 1995   DOI
5 Y. Son and J. Chong, 'A New Logic Transformation Method for Both Low Power and High Testability,' Journal of Institute of Electronics Engineers of Korea (IEEK) -SD, vol. 40, no. 9, pp. 62-71, Sep. 2003   과학기술학회마을
6 M. Gharaybeh, M. L. Bushnell, and V. D. Agrawal, 'Classification and test generation for path-delay faults using single stuck-at fault tests,' Journal of Electronic Testing Theory and Applications, vol. 11, pp. 55-67, Aug. 1997   DOI   ScienceOn
7 J. Yi and J. P. Hayes, 'High-level delay test generation for modular circuits,' IEEE Trans. on CAD, vol. 25, no. 3, pp. 576-590, Mar. 2006   DOI
8 S. M. Reddy, 'Complete test sets for logic functions,' IEEE Trans. on Computers, vol. C-22, no. 11, pp. 1016-1020, Nov. 1973   DOI   ScienceOn
9 E. S. Park and M. R. Mercer, 'Robust and non-robust tests for path delay faults in a combinational circuit,' Proc. International Test Conf., pp. 1027-1034, 1987
10 A. H. El-Maleh and J. Rajski, 'Delay fault testability preservation of the concurrent decomposition and factorization transformations,' IEEE Trasn. on CAD, vol. 14, no. 5, pp. 582-590, 1995   DOI   ScienceOn
11 U. Sparmann, H Muller, and S. M. Reddy, 'Universal delay test sets for logic networks,' IEEE Trans. on VLSI Systems, vol. 7, no. 2, pp. 156-166, 1999   DOI   ScienceOn
12 M. Batek and J. P. Hayes, 'Test set preserving logic transformations,' Proc. of Design Automation Conference, pp. 454-458, 1992   DOI