Issue No.09 - September (2003 vol.52)
Wolfgang G?nther , IEEE
Rolf Drechsler , IEEE
<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>
Binary decision diagram, linear transformation, minimization, formal verification.
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