Advertisement

Techniques of BDD Manipulation

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

Abstract

This chapter introduces the basic concept of BDDs, which are now commonly used for Boolean function representation. We then discuss methods for manipulating BDDs on computers and describe techniques for reducing computation time and memory requirements.

Keywords

Root Node Boolean Function Hash Table Garbage Collection Cache Size 
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.

Preview

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