By Topic

Efficient minimization and manipulation of linearly transformed binary decision diagrams

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Gunther, W. ; Infineon Technologies AG, Munich, Germany ; Drechsler, R.

Binary decision diagrams are widely used in many applications in VLSI CAD. Linear transformations are one way to increase the computational power of BDD. In this paper, we study linearly transformed BDD (LTBDD) from a practical point of view. First, we describe minimization techniques for LTBDD. Then, we present efficient manipulation algorithms for LTBDD. We give a large set of experimental results to demonstrate the efficiency of the algorithms.

Published in:

Computers, IEEE Transactions on  (Volume:52 ,  Issue: 9 )