Loading...
Please wait, while we are loading the content...
Similar Documents
An Introduction to Zero-Suppressed Binary Decision Diagrams
| Content Provider | Semantic Scholar |
|---|---|
| Author | Mishchenko, Alan |
| Copyright Year | 2001 |
| Abstract | Zero-suppressed binary Decision Diagrams (ZDDs) [21] provide an efficient way of solving problems expressed in terms of set theory. This tutorial paper presents ZDDs for a reader with a background in Boolean algebra and Binary Decision Diagrams [4], without any prior experience with ZDDs. The case studies considered in the tutorial include the computation of the union of two sets, the generation of all primes of a Boolean function, and the computation of the Irredundant Sum-of-Products of an incompletely specified Boolean function, the latter being perhaps the most practical and useful ZDD operator. The tutorial contains the complete annotated source code implementing a ZDD-based procedure in C with CUDD decision diagram package. The appendix to the paper contains a list of 35+ ZDD procedures included in the decision diagram package CUDD Release 2.3.1 [36] and 50+ additional ZDD procedures included in the EXTRA library [30] available as a public-domain extension of CUDD. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://vlsicad.eecs.umich.edu/Quantum/papers/Mi-tutzdd.pdf |
| Alternate Webpage(s) | http://www.eecs.berkeley.edu/~alanmi/publications/2001/tech01_zdd_.pdf |
| Alternate Webpage(s) | http://web.cecs.pdx.edu/~alanmi/research/dd/zddtut.pdf |
| Alternate Webpage(s) | https://people.eecs.berkeley.edu/~alanmi/publications/2001/tech01_zdd_.pdf |
| Alternate Webpage(s) | http://www.eecs.berkeley.edu/~alanmi/publications/2001/tech01_zdd.pdf |
| Alternate Webpage(s) | http://www.eecg.toronto.edu/~jzhu/publications/doc/Mi-tutzdd.pdf |
| Alternate Webpage(s) | http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/reading/zddtut.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
