Abstract
In recent work, the error latching probability due to an SET is calculated for a single observable point, and this help in hardening the design. This paper utilizes a recently proposed probabilistic framework for SET propagation in order to diagnose the location and time of strike based on errors observed at multiple points. The proposed diagnostic framework requires a new approach to calculate the probability for SET propagation to multiple non-independent variables. It is shown experimentally that error appearances at multiple observable points help in SET diagnosis. The time performance of the proposed diagnostic framework is compared against an alternative implementation. This is particularly important in on-line diagnosis.
Similar content being viewed by others
References
Asadi G, Tahoori MB (2005) An accurate estimation method based on propagation probability. In: Proceedings of design, automation and test in Europe
Asadi G, Tahoori MB (2005) Soft error modeling and protection for sequential circuits. In: Proceedings of IEEE international symposium on defect and fault tolerance in VLSI systems
Asadi G, Tahoori MB (2005) An analytical approach for soft error rate estimation in digital circuits. In: Proceedings of international symposium on circuits and systems
Bryant RE (1986) Graph based algorithms for boolean function manipulation. In: IEEE transanctions on computer aided design, pp 677–691
Borkar S (2005) Designing reliable systems from unreliable components: the challenges of transistor variability and degradation. Micro IEEE 25(6):10–16
Chia-Tai K, Masson GM (1975) The boolean difference and multiple fault analysis. IEEE Trans Comput c-24(1):62–71
Chakraborty TJ, Agrawal VD, Bushnell ML (1997) On variable clock methods for path delay testing of sequential circuits. IEEE Trans Comput Aided Des Integr Circ Syst 16(11):1237–1249
Drechsler N, Hilgemeier M, Fey G, Drechsler R (2004) Disjoint sum of product minimization by evolutionary algorithms. In: Proceedings of evolutionary workshops
Fazeli M, Ahmadian SN, Miremad SG, Asadi H, Tahoori MB (2011) Soft error rate estimation of digital circuits in the presence of multiple event transients (METs). In: Proceedings of design, automation and test in Europe
Gangadhar S, Tragoudas S (2010) Probabilistic method for the impact of an set in combinational logic. In: Proceedings of international on-line test symposium
Gangadhar S, Tragoudas S (2011) An analytical method for estimating set propagation. In: Proceedings of VLSI test symposium
Gangadhar S (2012) Analytical methods to propagate and diagnose single event transients. Dissertation at Southern Illinois University Carbondale
Gangadhar S, Tragoudas S (2011) A probabilistic approach to diagnose SETs. In: Proceedings of IEEE international symposium on defect and fault tolerance
Ghosh A, Devadas S, Keutzer K, White J (1992) Estimation of average switching activity in combinational and sequential circuits Proceedings of design automation conference
Martin RC, Ghoneim NM (1987) The size effect of ion charge tracks on single-event multiple-bit upset. IEEE Trans Nucl Sci 34(6):1305–1309
Massimo V (2003) Accurate single-event-transient analysis via zero-delay logic simulation. IEEE Trans Nucl Sci 50(6):2113–2118
Merelle T, Saigne F, Sagnes B, Gasiot G, Roche Ph, Carriere T, Palau M-C, Wrobel F, Palau J-M (2005) Monte-Carlo simulations to quantify neutron-induced multiple bit upsets in advance SRAMs. IEEE Trans Nucl Sci 52(5):1538–1544
Miskov-Zivanov N, Marculescu D (2006) MARSC-modeling and reduction of soft errors in combinational circuits. In: Proceedings of design automation conference, pp 767–772
Mohanram K, Touba NA (2003) Cost-effective approach for reducing soft error failure rate in logic circuits. In: Proceedings of international test conference
Monteiro J, Devadas S, Bill L (1994) A methodology for efficient estimation of switching activity in sequential logic circuits. In: Proceedings of design automation conference
Najm F (1991) Transition density, a stochastic measure of activity in digital circuits In: Proceedings of the 28th design automation conference
Najm F (1994) A survey of power estimation techniques in vlsi circuits. In: Proceedings VLSI
Omana M, Papasso G, Rossi D, Metra C (2003) A model for transient fault propagation in combinational logic. In: Proceedings of international on line test symposium
Papoulis A (1984) Probability, random variables and stochastic process, 2nd edn. McGraw-Hill Book Co
Reorda MS, Violante M (2003) Accurate and efficient analysis of single event transients in VLSI circuits. In: Proceedings of international on line test symposium
Rossi D, Omana M, Toma F, Metra C (2005) Multiple transient faults in logic: an issue for next generation ICs. In: Proceedings of ieee international symposium on defect and fault tolerance in vlsi systems
Rusu C, Bougerol A, Anghel L, Weulerse C, Buard N, Benhammadi S, Renaud N, Hubert G, Wrobel F, Carriere T, Gaillard R (2007) Multiple event transient induced by nuclear reactions in CMOS logic cells. In: Proceedings of international on line testing symposium
Shivakumar P, Kistler M, Keckler W, Burger D, Alvisi L (2002) Modeling the effect of technology trends on the soft error rate of combinational logic. In: Proceedings of dependable systems and networks
Thara R, Sanjukta B (2006) A timing-aware probabilistic model for single-event-upset analysis. IEEE Trans VLSI Syst 14(10):1130–1139
Tsui C-Y, Pedram M, Despain AM (1994) Exact and approximate methods for calculating signal transition probabilities in FSMs. In: Proceedings of design automation conference
Uchino T, Minami F, Murakata M, Mitsuhashi T (1996) Switching activity analysis for sequential circuits using boolean approximation method. In: Proceedings of international symposium on low power electronics and design
Vaseekaran Kumar MM, Tragoudas S (2006) Exact delay fault coverage in sequential logic under any delay fault model. IEEE Trans Comput-Aided Des Integr Circ Syst 25(12):2954–2964
Zhang B, Orshansky M (2005) Symbolic simulation of the propagation and filtering of transient faulty pulses Workshop on system effects of logic soft errors. Urbana Champion
Zhang, Shen W, Orshansky M (2006) FASER: Fast analysis of soft error susceptibility for cell-based designs. In: Proceedings of international symposium on quality electronic design
Zivanov NM, Marculescu D (2007) Soft error rate analysis for sequential circuits. In: Proceedings of design, automation and test in Europe
Zivanov NM, Marculescu D (2008) Modeling and optimization for soft-error reliability of sequential circuits. IEEE Trans Comput-Aided Des Integr Circ Syst 27(5):803–816
Zivanov NM, Marculescu D (2009) A systematic approach to modeling and analysis of transient faults in logic circuits. In: Proceedings of international symposium on quality electronic design
Zivanov NM, Marculescu D (2006) Circuit reliability analysis using symbolic techniques. IEEE Trans Comput-Aided Des Integr Circ Syst 25(12):2638–2649
Author information
Authors and Affiliations
Corresponding author
Additional information
Responsible Editor: M. Violante
This material is based upon work supported by the National Science Foundation under Grant no 0856039. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.
Rights and permissions
About this article
Cite this article
Gangadhar, S., Tragoudas, S. A Probabilistic Approach to Diagnose SETs in Sequential Circuits. J Electron Test 29, 317–330 (2013). https://doi.org/10.1007/s10836-013-5361-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10836-013-5361-4