Minimazation of Binary Decision Diagrams Based on Exchanges of Variables

Abstract

We ropose in this paper a new exact algorithm and gr aduay improvement methods of minimizing binary decision diagrams (BDD’s). In the exact minimization algorithm the o timum order is searched by the exchanges o! variabyes of BDD’s based on the framework of Friedman’s algorithm. The use of BDD representation of a given function and intermediate functions… (More)
DOI: 10.1109/ICCAD.1991.185307

Topics

1 Figure or Table

Statistics

051015'95'98'01'04'07'10'13'16
Citations per Year

196 Citations

Semantic Scholar estimates that this publication has 196 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics