Variable Ordering Algorithms for Ordered Binary Decision Diagrams and Their Evaluation

Masahiro Fujita, Hisanori Fujisawa, Yusuke Matsunaga

Research output: Contribution to journalArticlepeer-review

49 Citations (Scopus)

Abstract

Ordered binary decision diagrams (OBDD’s), developed by Bryant, use restricted decision trees with shared subgraphs. The ordering of variables is fixed throughout an OBDD diagram. Using OBDD’s, 64-bit ALU circuits have been verified in a reasonable time. However, the size of an OBDD is very sensitive to variable ordering, especially for large circuits. This paper presents the results of experiments in variable ordering using an experimentally practical algorithm. The algorithm is basically a depth-first traversal through a circuit from the output to the inputs. With this algorithm, circuits having more than 3000 gates and more than 100 inputs can be expressed in reasonable CPU time and with practical memory requirements.

Original languageEnglish
Pages (from-to)6-12
Number of pages7
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume12
Issue number1
DOIs
Publication statusPublished - Jan 1 1993
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Variable Ordering Algorithms for Ordered Binary Decision Diagrams and Their Evaluation'. Together they form a unique fingerprint.

Cite this