The Community for Technology Leaders
RSS Icon
Issue No.09 - September (2003 vol.52)
pp: 1196-1209
<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
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool