
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
S. Chakravarty, H.B. Hunt, III, "On Computing Signal Probability and Detection Probability of StuckAt Faults," IEEE Transactions on Computers, vol. 39, no. 11, pp. 13691377, November, 1990.  
BibTex  x  
@article{ 10.1109/12.61046, author = {S. Chakravarty and H.B. Hunt, III}, title = {On Computing Signal Probability and Detection Probability of StuckAt Faults}, journal ={IEEE Transactions on Computers}, volume = {39}, number = {11}, issn = {00189340}, year = {1990}, pages = {13691377}, doi = {http://doi.ieeecomputersociety.org/10.1109/12.61046}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  On Computing Signal Probability and Detection Probability of StuckAt Faults IS  11 SN  00189340 SP1369 EP1377 EPD  13691377 A1  S. Chakravarty, A1  H.B. Hunt, III, PY  1990 KW  signal probability; detection probability; stuckat faults; random testing; pseudorandom testing; testability analysis; combinational circuits; pseudo gates; enumeration algorithm; builtin self test; combinatorial circuits; logic testing. VL  39 JA  IEEE Transactions on Computers ER   
Algorithms for the following two problems are presented: (1) computing detection probability of stuckat faults (CDP), and (2) computing signal probability (CSP). These problems arise in the context of random testing, pseudorandom testing, and testability analysis of combinational circuits. The algorithm for CDP combines the notion of supergates and a refinement of th algorithm for CDP presented in the work of S. Chakravarty and H.B. Hunt, III (1986). The algorithm for CDP can be used to compute the exact value of detection probability of multiple stuckat faults in circuits with multiple outputs. Singleinput, singleoutput pseudo gates are inserted to model stuckat faults and derive an equivalent singleoutput circuit. CDP is thus reduced to the problem of computing the probability distribution of the output over the set of four logic values (0, 1d, d). The algorithm for CDP uses an efficient enumeration algorithm. The authors show how the enumeration algorithm can be used to refine the algorithm for CSP.
[1] P. Agrawal and V. D. Agrawal, "Probabilistic analysis of random test generation methods for irredundant combinational logic networks,"IEEE Trans. Comput., vol. C24, no. 7, pp. 691695, July 1975.
[2] V. D. Agrawal and S. C. Seth, "Probabilistic testability," inProc. 1985 Int. Conf. Comput. Design: VLSI Computers, pp. 562565.
[3] V. D. Agrawal, S. C. Seth, and C. C. Chuang, "Probabilistically guided test generation," inProc. 1985 Int. Symp. Circuits Syst., pp. 687690.
[4] A. V. Aho, J. E. Hopcroft, and J. D. Ullman,The Design and Analysis of Computer Algorithms. Menlo Park, CA: AddisonWesley, 1974.
[5] B. B. Bhattacharya and S. C. Seth, "On the reconvergent structure of combinational circuits and application to compact testing," inProc. 17th Int. FaultTolerant Comput. Symp., 1987, pp. 264269.
[6] M. A. Breuer and A. D. Friedman,Diagnosis and Reliable Design of Digital Systems. Rockville, MD: Computer Science Press, 1976.
[7] S. Chakravarty, "On the testing, reliability analysis and synthesis of combinational circuits," Ph.D. dissertation, Dep. Comput. Sci., State University of New York at Albany, Dec. 1986.
[8] S. Chakravarty, "A note on random versus deterministic testing," inProc. 1987 Int. Conf. Comput. Aided Design, pp. 152155.
[9] S. Chakravarty, "Computing detectability is harder than computing test vectors," Tech. Rep. 8717, Dep. Comput. Sci., State University of New York at Buffalo, Buffalo, NY 14260.
[10] S. Chakravarty and H. B. Hunt III, "On the computation of detection probability for multiple faults," inProc. 1986 Int. Test Conf., pp. 252262.
[11] C. K. Chin and E. J. McCluskey, "Test length for pseudorandom testing,"IEEE Trans. Comput., vol. C36, pp. 252256, Feb. 1986.
[12] M. R. Garey and D. S. Johnson,Computers and Intractability: A Guide to Theory of NPCompleteness. San Francisco, CA: Freeman, 1979.
[13] R. K. Gaede, M. R. Mercer, and B. Underwood, "Calculation of greatest lower bounds obtainable by the Cutting Algorithm," inProc. 1986 Int. Test Conf., pp. 498505.
[14] O. H. Ibarra and S. K. Sahni, "Polynomially complete fault detection problem,"IEEE Trans. Comput., vol. C24, no. 3, pp. 242249, 1975.
[15] S. Jain and V. Agrawal. "STAFAN: An Alternative to Fault Simulation,"Proc. Design Automation Conf., 1984, pp. 1823.
[16] B. Krishnamurthy and I. G. Tollis, "Improved techniques for estimating signal probabilities," inProc. 1986 Int. Test Conf., pp. 244251.
[17] K. P. Parker and E. J. McCluskey, "Analysis of faults using input signal probabilities,"IEEE Trans. Comput., vol. C24, no. 5, pp. 573578, May 1975.
[18] K. P. Parker and E. J. McCluskey, "Probabilistic treatment of general combinational networks,"IEEE Trans. Comput., vol. C24, no. 6, pp. 668670, June 1975.
[19] J. P. Roth, W. G. Bouricius, and P. R. Schneider, "Programmed algorithms to compute tests to detect and distinguish between failures in logic circuits,"IEEE Trans. Electron. Comput., vol. EC16, no. 10, pp. 567580.
[20] J. Savir, G. S. Ditlow, and P. H. Bardell, "Random pattern testability,"IEEE Trans. Comput., vol. C33, no. 1, pp. 7990, Jan. 1984.
[21] S. C. Seth, B. B. Bhattacharya, and V. D. Agrawal, "An exact analysis for efficient computation of random pattern testibility in combinational circuits," inProc. 16th Int. FaultTolerant Comput. Symp., 1986, pp. 318323.
[22] S. C. Seth, L. Pan, and V. D. Agrawal, "PREDICT: Probabilistic estimation of digital circuit testability," inProc. 15th Int. FaultTolerant Comput. Symp., pp. 220225.
[23] K. D. Wagner, C. K. Chin, and E. J. McCluskey, "Pseudorandom/testing."IEEE Trans. Comput., vol. C36, pp. 332343, Mar. 1987.
[24] T. W. Williams and K. P. Parker, "Design for testabilityA survey,"IEEE Trans. Comput., vol. C31, no. 1, pp. 215, Jan. 1982.
[25] H.J. Wunderlich, "PROTEST: A tool for probabilistic testability analysis," inProc. 22nd Design Automat. Conf., June 1985, pp. 204211.
[26] S. Chakravarty, "Testing of nonfeedback bridging faults,"Integration: The VLSI J., no. 9, pp. 109127, 1990.
[27] S. Chakravarty and H. B. Hunt III, "On the generalized probability problem with application to testing and reliability analysis," Tech. Rep. Buffalo, 8706, Dep. Comput. Sci., State University of New York, Buffalo, NY 14260.