Abstract
In order to incorporate SER analysis into an industrial IC design flow, the algorithms must scale to industrial-sized circuits while maintaining accuracy. To address this challenge, we present AnSER, our linear-time method for logic-level soft-error analysis. AnSER achieves its low runtimes by means of functional simulation signatures, which enable a fast and accurate method for computing signal probability and observability, even in the presence of reconvergent fan-out. We analyze sequential circuits using AnSER along with multicycle simulation and time-frame expansion. We also show how to incorporate timing and electrical masking into the error probabilities predicted by this framework in order to more accurately model IC technology. We demonstrate results on IWLS and ISCAS benchmarks, which generally show 2-3 orders of magnitude speed-up over previous SER analyzers and high accuracy when validated against a state-of-the-art ATPG tool.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Krishnaswamy S, Plaza SM, Markov IL, Hayes JP (2007) Enhancing design robustness with reliability-aware resynthesis and logic simulation. In: Proceedings of ICCAD, pp 149–154
Krishnaswamy S, Markov IL, Hayes JP (2008) On the role of timing masking in reliable logic circuit design. In: Proceedings of DAC, pp 924–929
Krishnaswamy S, Plaza SM, Markov IL, Hayes JP (2009) Signature-based SER analysis and design of logic circuits. IEEE Trans CAD 28:74–86
Krishnaswamy S, Plaza SM, Markov IL, Hayes JP (2007) AnSER: a lightweight reliability evaluator for use in logic synthesis. Digest IWLS, In, pp 171–173
Zhu Q, Kitchen N, Kuehlmann A, Sangiovanni-Vincentelli A (2006) SAT sweeping with local observability don’t-cares. In: Proceedings of DAC, pp 229–234
Plaza S, Chang K-H, Markov I (2007) Bertacco V (2007) Node mergers in the presence of don’t cares. In: Proceedings of ASP-DAC, pp 414–419
Bushnell M, Agrawal V (2000) Essentials of electronic testing. Kluwer, Boston
Hayes JP, Polian I, Becker B (2007) An analysis framework for transient-error tolerance. In: Proceedings of VTS, pp 249–255
Hachtel GD, Macii E, Pardo A, Somenzi F (1996) Markovian analysis of large finite state machines. IEEE Trans CAD 15:1479–1493
Cho H, Jeong Somenzi F, Pixley C (1993) Synchronizing sequences and symbolic traversal techniques in test generation. J Elect Test 4:19–31
Miskov-Zivanov N, Marculescu D (2007) Soft error rate analysis for sequential circuits. In: Proceedings of DATE, pp 1436–1441
Shivakumar P et al (2002) Modeling the effect of technology trends on soft error rate of combinational logic. In: Proceedings of ICDSN, pp 389–398
Omana M et al (2003) A model for transient fault propagation in combinatorial logic. In: Proceedings of OLTS, pp 11–115
Ziegler JF et al (1996) IBM experiments in soft fails in computer electronics (1978–1994). IBM J Res Dev 40(1):3–18
Wang F, Agrawal V (2008) Single event upset: an embedded tutorial. In: Proceedings of VLSI, pp 429–434
Lee HK, Ha DS, On the generation of test patterns for combinational circuits, TR No. 12–93, EE Depertment., Virginia Polytechnic Institute.
Zhang M, Shanbhag NR (2004) A soft error rate analysis (SERA) methodology. In: Proceedings of ICCAD, pp 111–118
Rao R, Chopra K, Blaauw D, Sylvester D (2006) An efficient static algorithm for computing the soft error rates of combinational circuits. In: Proceedings of DATE, pp 164–169
Almukhaizim S et al (2006) Seamless integration of SER in rewiring-based design space exploration. In: Proceedings of ITC, pp 1–9
Zhang B, Wang WS, Orshansky M (2006) FASER: fast analysis of soft error susceptibility for cell-based designs. In: Proceedings of ISQED, pp 755–760
Choudhury M, Mohanram K (2007) Accurate and scalable reliability analysis of logic circuits. In: Proceedings of DATE, pp 1454–1459
IWLS-05 Benchmarks. http://iwls.org/iwls2005/benchmarks.html
Alpert CJ, Devgan A, Kashyap C (2000) A two moment RC delay metric for performance optimization. In: Proceedings of ISPD, pp 69–74
Chu C, Wong Y-C (2005) Fast and accurate rectilinear Steiner minimal tree algorithm for VLSI design. In: Proceedings of ISPD, pp 28–35
Caldwell A, Kahng A, Markov I (2000) Can recursive bisection alone produce routable placements?. In: Proceedings of DAC, pp 693–698
UMICH Physical Design Tools. http://vlsicad.eecs.umich.edu/BK/PDtools/
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Krishnaswamy, S., Markov, I.L., Hayes, J.P. (2013). Signature-Based Reliability Analysis. In: Design, Analysis and Test of Logic Circuits Under Uncertainty. Lecture Notes in Electrical Engineering, vol 115. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-9644-9_5
Download citation
DOI: https://doi.org/10.1007/978-90-481-9644-9_5
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-9643-2
Online ISBN: 978-90-481-9644-9
eBook Packages: EngineeringEngineering (R0)