Probabilistic error propagation in logic circuits using the Boolean difference calculus
- 1 October 2008
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2008 IEEE International Conference on Computer Design
Abstract
A gate level probabilistic error propagation model is presented which takes as input the Boolean function of the gate, the signal and error probabilities of the gate inputs, and the gate error probability and produces the error probability at the output of the gate. The presented model uses the Boolean difference calculus and can be applied to the problem of calculating the error probability at the primary outputs of a multi-level Boolean circuit with a time complexity which is linear in the number of gates in the circuit. This is done by starting from the primary inputs and moving toward the primary outputs by using a post-order traversal. Experimental results demonstrate the accuracy and efficiency of the proposed approach compared to the other known methods for error calculation in VLSI circuits.Keywords
This publication has 14 references indexed in Scilit:
- Architectures for silicon nanoelectronics and beyondComputer, 2007
- Evaluating the reliability of NAND multiplexing with PRISMIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2005
- Toward Hardware-Redundant, Fault-Tolerant Logic for NanoelectronicsIEEE Design & Test of Computers, 2005
- NANOPRISMPublished by Association for Computing Machinery (ACM) ,2004
- Silicon nanoelectronics for the 21st centuryNanotechnology, 1999
- Probabilistic modeling of dependencies during switching activity analysisIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998
- Testability measures in pseudorandom testingIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
- On multiple fault analysis in combinational circuits by means of Boolean differenceProceedings of the IEEE, 1976
- Probabilistic Treatment of General Combinational NetworksIEEE Transactions on Computers, 1975
- On a Theory of Boolean FunctionsJournal of the Society for Industrial and Applied Mathematics, 1959