Browse > Article

Optimization of $\mu$0 Algorithm for BDD Minimization Problem  

Lee, Min-Na (한국외국어대학교 정보산업공과대학 컴퓨터공학과)
Jo, Sang-Yeong (한국외국어대학교 정보산업공과대학 컴퓨터공학과)
Publication Information
Journal of the Institute of Electronics Engineers of Korea SD / v.39, no.2, 2002 , pp. 82-90 More about this Journal
Abstract
BDD have become widely used for various CAD applications because Boolean functions can be represented uniquely and compactly by using BDD. The size of the BDD representation for a function is very sensitive to the choice of orderings on the input variable. Therefore, it is very important to find a good variable ordering which minimize the size of the BDD. Since finding an optimal ordering is NP-complete, several heuristic algorithms have been proposed to find good variable orderings. In this paper, we propose a variable ordering algorithm, Faster-${\mu}$0, based on the ${\mu}$0(microcanonical optimization). In the Faster-${\mu}$0 algorithm, the initialization phase is replaced with a shifting phase to produce better solutions in a fast local search. We find values for algorithm parameters experimentally and the proposed algorithm has been experimented on well known benchmark circuits and shows superior performance compared to various existing algorithms.
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 Randal E. Bryant 'Symbolic Manipulation of Boolean Functions Using a Graphical Representation,' 22nd Design Automation Conference, pp. 688-694, June 1985   DOI
2 Rolf Drechsler, Nicole Gockel, 'Simulation Based Minimization of large OBDDs,' Preprint at the Institute of Computer Science, Albert-Ludwigs-University Freiburg im Breisgau, germany, January 1997
3 Rolf Drechsler, Nicole Gockel, 'Minimization of BDDs by Evolutionary Algorithms,' International Workshop on Logic Synthesis(IWLS'97), Lake Tahoe, 1997
4 A. Linhares, J. A. Torreao, 'Microcanonical optimization applied to the traveling salesman problem,' Int. J. Modern Phys. C, vol. 9, pp. 133-146, 1998   DOI   ScienceOn
5 Rolf Drechsler, Bernd Beckern, Nicole Gockel, 'A Genetic Algorithm for Variable Ordering of OBDDs,' International Workshop on Logic Synthesis, pp. 5C:5.55-5.64, 1995
6 S.C S. Porto, A. M. Barrose, J.R.A. Torreao, 'A Parallel Microcanonical Optimization Algorithm for the Task Scheduling Problem,' Technical Report, Applied Computing & Automation Universidado Federal Fluminense, September 1999
7 Fabio Somenzi, 'CUDD : CU Decision Diagram Package Release 2.3.0,' University of Colorado, April 12, 1997
8 Saeyang Yang, 'Logic Synthesis and Optimization Benchmarks User Guide Version 3.0,' Distributed as part of the IWLS91 benchmark distribution, January 15, 1991
9 이민나, 조상영, 'Microcanonical Optimization을 이용한 BDD의 최소화 기법,' 한국정보처리학회, 제8-A권, 제1호, 48-55, 2001년 3월   과학기술학회마을
10 B. Bolling, M. Lobbing, I. Wegener, 'Simulated Annealing to improve variable orderings for OBDDs,' International Workshop on Logic Synthesis, pp. 5b:5.1-5.10, 1995
11 S.J. Fredman, K.J. Supowit, 'Finding the Optimal Variable Ordering for Binary Decision Diagrams,' IEEE Transaction on Computers, vol. C-39, no. 5, pp. 710-713, May 1990   DOI   ScienceOn
12 M. Creutz, 'Microcanonical Monte Carlo simulation,' Phys, Rev, Lett, vol. 50, pp. 1411-1413, 1983   DOI
13 Alexandre Linhares, Horacio H. Yanasse, Jose R. A. Torreao, 'Linear Gate Assignment : A Fast Statistical Mechanics Approach,' IEEE Transaction on Computer-Aided Design of Integrated circuits and system, vol. 18, no. 12. December 1999   DOI   ScienceOn
14 S. B. Akers, 'Binary Decision Diagrams,' IEEE Transaction on Computers, vol. C-27, No. 6, pp. 509-516, August 1978   DOI   ScienceOn
15 Randal E. Bryant, 'Graph-Based Algorithms for Boolean Function Manipulation,' IEEE Transaction on Computers, vol. C-35, pp. 667-691, August 1986   DOI   ScienceOn
16 Randal E. Bryant, 'Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams,' ACM Computing Surveys, vol. 24, no. 3, September 1992   DOI
17 Rolf Drechsler, Bernd Becker, 'Binary Decision Diagrams : Theory and Implementation,' Kluwer Academic Publishers, 1998
18 Randal E. Bryant, 'Binary Decision Diagrams and Beyond : Enabling Technologies for Formal Verification,' International Conference on Computer Aided Design, pp. 236-243, November 1995   DOI
19 Richard Rudell, 'Dynamic Variable Ordering of Ordered Binary Decision Diagrams,' International Conference on Computer-Aided Design, pp. 43-47, November 1993   DOI