Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices
Top Cited Papers
- 1 April 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 15301591,p. 282-287 Vol. 1
- https://doi.org/10.1109/date.2005.47
Abstract
Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of soft errors on such circuits, we develop a general computational framework based on probabilistic transfer matrices (PTMs). In particular, we apply them to evaluate circuit reliability in the presence of soft errors, which involves combining the PTMs of gates to form an overall circuit PTM. Information, such as output probabilities, the overall probability of error, and signal observability, can then be extracted from the circuit PTM. We employ algebraic decision diagrams (ADDs) to improve the efficiency of PTM operations. A particularly challenging technical problem, solved in our work, is to extend simultaneously tensor products and matrix multiplication in terms of ADDs to non-square matrices. Our PTM-based method enables accurate evaluation of reliability for moderately large circuits and can be extended by circuit partitioning. To demonstrate the power of the PTM approach, we apply it to several problems in fault-tolerant design and reliability improvement.Keywords
This publication has 9 references indexed in Scilit:
- Cost-effective approach for reducing soft error failure rate in logic circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Improving Gate-Level Simulation of Quantum CircuitsQuantum Information Processing, 2003
- Modeling the effect of technology trends on the soft error rate of combinational logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A probabilistic-based design methodology for nanoscale computationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A system architecture solution for unreliable nanoelectronic devicesIEEE Transactions on Nanotechnology, 2002
- Decomposing a permutation into a conjugated tensor productPublished by Association for Computing Machinery (ACM) ,1997
- Algebric Decision Diagrams and Their ApplicationsFormal Methods in System Design, 1997
- Multi-Terminal Binary Decision Diagrams and Hybrid Decision DiagramsPublished by Springer Nature ,1996
- An efficient partitioning strategy for pseudo-exhaustive testingPublished by Association for Computing Machinery (ACM) ,1993