Abstract
We demonstrate the compressed encoding of probabilistic transfer matrices as algebraic decision diagrams (ADDs) and develop equivalent ADD algorithms for PTM operations that can operate directly on the compressed forms and compute circuit error probabilities. We also develop methods to handle non-square matrices, which have not been represented as decision diagrams in the prior literature. We present several heuristic methods for further improving the scalability of PTMs, including sampling, partitioning, evaluation ordering, and hierarchical computations, which allow PTM computations to scale to larger circuits.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bahar RI et al (1997) Algebraic decision diagrams and their applications. J Formal Methods Syst Des 10(2/3):171–206
Viamontes GF, Markov IL, Hayes JP (2003) Improving gate-level simulation of quantum circuits. Quantum Inf Process 2(5):347–380
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, Morkov IL, Hayes JP (2008) Probabilistic transfer matrices in symbolic reliability analysis of logic circuits. ACM Trans Des Autom Electron Syst 13(1, article 8): 35
Bryant RE, Chen YA (1995) Verification of arithmetic functions with binary moment diagrams. In: Proceedings of 32nd ACM/IEEE design automation conference(DAC), pp 535–541
Hachtel G, Somenzi F (1996) Logic synthesis and verification algorithms. Kluwer Academic Publishers, Boston
Somenzi F (2004) CUDD: Colorado University Decision Diagram Package. http://vlsi.colorado.edu/fabio/CUDD. Accessed 31 May 2004
Clarke E et al (1996) Multi-terminal binary decision diagrams and hybrid decision diagrams. In: Sasao T, Fujita M (eds) Representations of discrete functions. Kluwer Academic Publishers, Norwell pp 93–108
Cormen T, Lieserson C, Rivest R, Stein C (2001) Introduction to algorithms, 2nd edn. MIT Press, Cambridge
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). Computing with 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_3
Download citation
DOI: https://doi.org/10.1007/978-90-481-9644-9_3
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-9643-2
Online ISBN: 978-90-481-9644-9
eBook Packages: EngineeringEngineering (R0)