Generation of Cube Sets from BDDs

  • Shin-ichi Minato
Part of the The Kluwer International Series in Engineering and Computer Science book series (SECS, volume 342)


In many problems on digital system design, cube sets (also called covers, PLA forms, sum-of-products forms, or two-level logics) are used to represent Boolean functions. They have been extensively studied for many years, and their manipulation algorithms are important in LSI CAD systems. In general, it is not so difficult to generate BDDs from cube sets, but there are no efficient methods for generating compact cube sets from BDDs.


Boolean Function Recursive Operator Redundant Node Prime Implicant Digital System Design 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Shin-ichi Minato
    • 1
  1. 1.NTT LSI LaboratoriesKanagawaJapan

Personalised recommendations