Quick search
Go!

USING LOWER BOUNDS IN BDD OPTIMIZATION


FURDU IULIAN 1
1. University “Vasile Alecsandri”of Bacău, Calea MărăƟeƟti 156,Bacău, 600115, Romania

Issue:

PLUMEE, Number 1, Volume I

Section:

Issue No. 1 - Volume 3(2013)
Download the full manuscript(authorisation required)

Abstract:

Binary Decision Diagrams are the state of the art data structures for boolean functions manipulation. They are particularly used in VLSI design, symbolic model checking of digital circuits, in analysis of sequential systems, as well as in many other problems. Due to their strong dependence in size upon the chosen variable order, one of the most important problem in the use of the Binary Decision Diagrams is to construct good orders to minimize (i.e. optimize) their size. This paper presents recent advances in using lower bounds in Binary Decision Diagrams Optimization.

Keywords:

BDD, OBDD, ROBDD, optimization of variable ordering, lower bounds, branch and bound technique.

Code [ID]:

PLUMEE201301V01S01A0017 [0003973]

Full paper:

Download pdf


Copyright (c) 1995-2007 University of Bacău