The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (2003 vol.52)
pp: 1196-1209
ABSTRACT
<p><b>Abstract</b>—Binary Decision Diagrams are widely used in many applications in VLSI CAD. Linear transformations are one way to increase the computational power of BDDs. In this paper, we study linearly transformed BDDs (LTBDDs) from a practical point of view. First, we describe minimization techniques for LTBDDs. Then, we present efficient manipulation algorithms for LTBDDs. We give a large set of experimental results to demonstrate the efficiency of the algorithms.</p>
INDEX TERMS
Binary decision diagram, linear transformation, minimization, formal verification.
CITATION
Wolfgang G?nther, Rolf Drechsler, "Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams", IEEE Transactions on Computers, vol.52, no. 9, pp. 1196-1209, September 2003, doi:10.1109/TC.2003.1228514
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool