| Accurate and scalable reliability analysis of logic circuits |
| Full text |
Pdf
(229 KB)
|
| Source
|
Design, Automation, and Test in Europe
archive
Proceedings of the conference on Design, automation and test in Europe
table of contents
Nice, France
SESSION: Soft error evaluation and tolerance
table of contents
Pages: 1454 - 1459
Year of Publication: 2007
ISBN:978-3-9810801-2-4
|
|
Authors
|
|
| Sponsors |
|
| Publisher |
EDA Consortium
San Jose, CA, USA
|
| Bibliometrics |
Downloads (6 Weeks): 11, Downloads (12 Months): 53, Citation Count: 3
|
|
|
ABSTRACT
Reliability of logic circuits is emerging as an important concern that may limit the benefits of continued scaling of process technology and the emergence of future technology alternatives. Reliability analysis of logic circuits is NP-hard because of the exponential number of inputs, combinations and correlations in gate failures, and their propagation and interaction at multiple primary outputs. By coupling probability theory with concepts from testing and logic synthesis, this paper presents accurate and scalable algorithms for reliability analysis of logic circuits. Simulation results for several benchmark circuits demonstrate the accuracy, performance, and potential applications of the proposed analysis technique.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
J. D. Meindl et al., "Limits on silicon nanoelectronis for terascale integration," Science, vol. 293, pp. 2044--2049, Sep. 2001.
|
| |
2
|
|
| |
3
|
J. von Neumann, "Probabilistic logics and the synthesis of reliable organisms from unreliable components," in Automata Studies (C. E. Shannon and J. McCarthy, eds.), pp. 43--98, Princeton University Press, 1956.
|
| |
4
|
A. Sadek, K. Nikolić, and M. Forshaw, "Parallel information and computation with restitution for noise-tolerant nanoscale logic networks," Nanotechnology, vol. 15, pp. 192--210, Jan. 2004.
|
| |
5
|
|
| |
6
|
T. Rejimon and S. Bhanja, "Scalable probabilistic computing models using Bayesian networks," in Proc. Intl. Midwest Symposium on Circuits and Systems, pp. 712--715, 2005.
|
| |
7
|
T. Larrabee, "Test pattern generation using Boolean satisfiability," IEEE Trans. Computer-aided Design, vol. 11, pp. 4--15, Jan. 1992.
|
| |
8
|
S. Ercolani et al., "Estimate of signal probability in combinational logic networks," in Proc. European Test Conference, pp. 132--138, 1989.
|
|