Techniques of BDD Manipulation

Shin-ichi Minato

doi:10.1007/978-1-4613-1303-8_2

Binary Decision Diagrams and Applications for VLSI CAD pp 7-24 | Cite as

Techniques of BDD Manipulation

Authors
Authors and affiliations

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.

This is a preview of subscription content, to check access.

Preview

Unable to display preview. Download preview PDF.

Copyright information

Authors and Affiliations

Shin-ichi Minato
- 1

1.NTT LSI LaboratoriesKanagawaJapan

About this chapter

Cite this chapter as:: Minato S. (1996) Techniques of BDD Manipulation. In: Binary Decision Diagrams and Applications for VLSI CAD. The Kluwer International Series in Engineering and Computer Science (VLSI, Computer Architecture and Digital Signal Processing), vol 342. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1303-8_2

DOI https://doi.org/10.1007/978-1-4613-1303-8_2
Publisher Name Springer, Boston, MA
Print ISBN 978-1-4612-8558-8
Online ISBN 978-1-4613-1303-8
eBook Packages Springer Book Archive

Personalised recommendations

Instant download
Readable on all devices
Own it forever
Local sales tax included if applicable

Buy Physical Book

Techniques of BDD Manipulation

Abstract

Keywords

Preview

Copyright information

Authors and Affiliations

Personalised recommendations

Cite chapter