This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Probability to Achieve TSC Goal
April 1996 (vol. 45 no. 4)
pp. 450-460

Abstract—In this paper we propose a probabilistic measure for self-checking (SC) circuits that is analogous to reliability of fault-tolerant systems. This measure is defined as the probability to achieve totally self-checking (TSC) goal at the tth cycle: TSCG(t). TSCG provides insight to the worst case dynamic behavior of SC circuits with respect to the application environment and component failure rates. TSCG surpasses the TSC definitions in determining the applicability of a circuit in a given application environment. An SC circuit achieves TSC goal when no erroneous information or data is propagated beyond the boundary of this circuit. TSCG is therefore the probability that this fault confinement mechanism is intact.

The SC properties are obtained through adding hardware redundancy to the original digital design. Which means that an SC circuit has a higher failure rate than the original circuit. Further, there are tradeoffs between the level of hardware redundancy, the reliability, and the TSCG. We give several examples in this paper to clearly demonstrate these tradeoffs for different design environments. The proposed probability measure allows designers to choose from cost-effective SC designs that are suitable for their specifications.

We emphasize that the TSCG is intended to provide a mean of dynamic error handling performance evaluation of SC designs. The TSC definitions and alike are still intact, since a cost-effective SC circuit must begin with a TSC circuit. The TSCG gives confidence in the use of cost-efficient error control codes and/or reduction in error handling capability. Analogous to reliability, the TSCG can be used in product specifications. This is a crucial step toward the practical applications of TSC or CED circuits.

[1] A.L. Hopkins, Jr.,T.B. Smith III, and J.H. Lala,"FTMP—A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft," Proc. IEEE, pp. 1,221-1,239, Oct. 1978.
[2] W.N. Toy,"Fault-Tolerant Design of Local ESS Processors," Proc. IEEE, pp. 1126-1145, Oct. 1978.
[3] D.A. Anderson and G. Metze,"Design of Totally Self-Checking Check Circuits for m-out-of-n Codes," IEEE Trans. Computers, pp. 263-269, Mar. 1973.
[4] J.E. Smith and G. Metze,"Strongly Fault Secure Logic Networks," IEEE Trans. Computers, pp. 491-499, June 1978.
[5] B. Courtois,"Performance Modeling of Partially Self-Checking Systems," Proc. 12th Symp. Fault-Tolerant Computers, pp. 140-146, June 1982.
[6] D.J. Lu and E.J. McCluskey,"Quantitative Evaluation of Self-Checking Circuits," IEEE Trans. Computer-Aided Designs, pp. 150-155, Apr. 1984.
[7] E. Fujiwara,N. Mutoh, and K. Matsuoka,"A Self-Testing Group-Parity Prediction Checker and Its Use for Built-In Testing," IEEE Trans. Computers, pp. 578-583, June 1984.
[8] E. Fujiwara and K. Matsuoka, "A Self-Checking Generalized Prediction Checkers and Its Use for Built-In Testing," IEEE Trans. Computers, vol. 36, no. 1, pp. 86-93, Jan. 1987.
[9] J.C. Lo and E. Fujiwara,"A Probabilistic Measurement for Totally Self-Checking Circuits," Proc. IEEE Workshop on Defect and Fault Tolerance in VLSI, pp. 263-270, Oct. 1993.
[10] N.K. Jha,"Strongly Fault-Secure and Strongly Self-Checking Domino-CMOS Implementations of Totally Self-Checking Circuits," IEEE Trans. Computer-Aided Design, pp. 332-336, March 1990.
[11] S.E. Kerns, B.D. Shafer, L.R. Rockett, Jr., J.S. Pridmore, D.F. Berndt, N. van Vonno, and F.E. Barber, The Design of Radiation-Hardened ICs for Space: A Compendium of Approaches Proc. IEEE, vol. 76, no. 11, pp. 1470-1509, Nov. 1988.
[12] S. Koeppe, “Optimal Layout to Avoid Stuck-Open Faults,” Proc. Design Automation Conf., pp. 829-835, 1987.
[13] M.E. Levitt and J.A. Abraham,"Physical Design of TVLSI: Techniques and Experiments," IEEE J. Solid-State Circuits, pp. 474-481, Apr. 1990.
[14] M.A. Marouf and D.A. Friedman,"Design of Self-Checking Checkers for Berger Codes," Proc. 8th Symp. Fault-Tolerant Computers, pp. 179-184, June 1978.
[15] F.F. Sellers,M.Y. Hsiao, and L.W. Bearnson,Error Detecting Logic for Digital Computers.New York: McGraw-Hill, 1968.
[16] M. Nicolaidis,"Shorts in Self-Checking Circuits," Proc. Int'l Test Conf., pp. 408-417, Oct. 1987.
[17] Y. Crouzet and C. Landrault,"Design of Self-Checking MOS-LSI Circuits, Application to a Four-Bit Microprocessor," Proc. 9th Symp. Fault-Tolerant Computers, pp. 189-192, June 1979.
[18] E. Fujiwara and K. Haruta,"Fault-Tolerant Arithmetic Logic Unit Using Parity-Based Codes," Trans. Inst. Electron. Comm. Eng. Japan, pp. 653-660, Oct. 1981.
[19] J-C. Lo et al., "An SFS Berger Check Prediction ALU and Its Application to Self-Checking Processor Designs," IEEE Trans. CAD, vol. 11, no. 4, Apr. 1992, pp. 525-540.
[20] E. Fujiwara,"A Design Method for Cost-Effective Self-Testing Checker for Optimal d-Unidirectional Error Detecting Codes," IEICE Trans. Inf. Syst., pp. 771-777, Nov. 1992.

Index Terms:
Concurrent error detection, embedded circuits, error control coding, failure rate, fault modeling, probabilistic measure, physical layout for testability.
Citation:
Jien-Chung Lo, Eiji Fujiwara, "Probability to Achieve TSC Goal," IEEE Transactions on Computers, vol. 45, no. 4, pp. 450-460, April 1996, doi:10.1109/12.494102
Usage of this product signifies your acceptance of the Terms of Use.