By Topic

Some heuristics for generating tree-like FBDD types

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

3 Author(s)
Bern, J. ; Trier Univ., Germany ; Meinel, C. ; Slobodova, A.

Reduced ordered binary decision diagrams (OBDD's) are nowadays the state-of-the-art representation scheme for Boolean functions in Boolean manipulation. Recent results have shown that it is possible to use the more general concept of free binary decision diagrams (FBDD's) without giving up most of the useful computational properties of OBDD's, but possibly reducing the space requirements considerably. The amount of space reduction depends essentially on the shape of so-called FBDD-types the Boolean manipulation in terms of FBDD's is based on. Here, we propose some heuristics for deriving tree-like FBDD-types from given circuit descriptions. The experimental results we obtained clearly demonstrate that the FBDD-approach is not only of theoretical interest, but also of practical usefulness even in the ease of using merely such simple-structured tree-based FBDD-types as produced by the investigated heuristics

Published in:

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on  (Volume:15 ,  Issue: 1 )