Abstract
We propose a general mathematical tool, the probabilistic transfer matrix (PTM), to reason about logic circuit behavior. PTMs provide a concise description of both normal and faulty behavior and are well-suited to reliability analysis. Simple composition rules based on connectivity can be used to recursively build large, circuit PTMs from smaller gate PTMs. Circuit PTMs can be used to accurately calculate joint output probabilities in the presence of reconvergent fan-out and inseparable joint input distributions using a small set of matrix operations, some of which we define. We demonstrate the use of PTMs in capturing various sorts of errors inherent in nanocircuits. We also show the use of PTMs in deriving polynomial approximations for circuit error probabilities in terms of gate error probabilities for the purpose of determining thresholds of acceptable gate error for specific circuits.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The \(eliminate\_variables\) operation is analogs to the existential abstraction of a set of variables \(x\) in a Boolean function \(f\) [8], given by the sum of the positive and negative cofactors of \(f\), with respect to \(x\): \(\exists x \ f=f_x+f_{\overline{x}}\). The \(eliminate\_variables\) operation for PTMs relies on arithmetic addition of matrix entries instead of the Boolean disjunction of cofactors.
References
Kummamuru RK et al (1993) Operation of quantum-dot cellular automata (QCA), shift registers and analysis of errors. IEEE Trans Electron Devices 50–59:1906–1913
Rejimon T, Bhanja S, (2006) Probabilistic error model for unreliable nano-logic gates. In: Proceedings of NANO, pp 47–50
Parker KP, McCluskey EJ (1975) Probabilistic treatment of general combinational networks. IEEE Trans Comput C-24(6):668–670
Ercolani S et al. (1989) Estimate of signal probability in combinational logic networks. In: Proceedings of European test conference, pp 132–138
Savir J, Ditlow G, Bardell PH (1983) Random pattern testability. In: Proceedings of FTCS, pp 80–89
Krishnaswamy S, Viamontes GF, Markov IL, Hayes JP (2005) Accurate reliability evaluation and enhancement via probabilistic transfer matrices. In: Proceedings of DATE, pp 282–287
Krishnaswamy S, Viamontes GF, Markov I L, Hayes JP (2008) Probabilistic transfer matrices in symbolic reliability analysis of logic circuits. ACM Trans Des Autom Electron Syst 13(1):1–35 article 8
Hachtel G, Somenzi F (1996) Logic synthesis and verification algorithms. Kluwer Academic Publishers, Boston
Omana M et al. (2003) A model for transient fault propagation in combinatorial logic. In: Proceedings of IOLTS, pp 11–115
Pippenger N (1998) Reliable computation by formulas in the presence of noise. IEEE Trans Inf Theory 34(2):194–197
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). Probabilistic Transfer Matrices. 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_2
Download citation
DOI: https://doi.org/10.1007/978-90-481-9644-9_2
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-9643-2
Online ISBN: 978-90-481-9644-9
eBook Packages: EngineeringEngineering (R0)