Binary decision diagrams
theory and implementation
by Rolf Drechsler
Within the last 10-13 years Binary Decision Diagrams (BDDs) have become the state-of-the-art data structure in VLSI CAD for representation and manipulation of Boolean functions. Today, BDDs are widely used and in the meantime have also been integrated in commercial tools, especially in the area of verification and synthesis.
Binary Decision Diagrams: Theory and Implementation is intended for both newcomers to BBDs as well as for researchers and practitioners who need to implement them. Apart from giving a quick start for reader who is not familiar with BBDs (or DDs in general), it also discusses several new aspects of BBDs, e.g. with respect to minimization and implementation of a package. It is an essential bookshelf item for any CAD designer or researcher working with BBDs.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Binary decision diagrams: theory and implementation
1998, Kluwer Academic Publishers
in English
0792381939 9780792381938
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. 185-197) and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 8 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 14, 2024 | Edited by MARC Bot | import existing book |
| December 29, 2021 | Edited by ImportBot | import existing book |
| November 28, 2020 | Edited by MARC Bot | import existing book |
| April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |