The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs) [5,3], Algebraic Decision Diagrams (ADDs) , and Zero-suppressed Binary Decision Diagrams (ZDDs) . BDDs are used to represent switching functions; ADDs are used to represent function from to an arbitrary set. ZDDs represent switching functions like BDDs; however, they are much more efficient than BDDs when the functions to be represented are characteristic functions of cube sets, or in general, when the ON-set of the function to be represented is very sparse. They are inferior to BDDs in other cases. The package provides a large set of operations on BDDs, ADDs, and ZDDs, functions to convert BDDs into ADDs or ZDDs and vice versa, and a large assortment of variable reordering methods.
Keywords for this software
References in zbMATH (referenced in 142 articles )
Showing results 141 to 142 of 142.
- Lind-Nielsen, Jørn; Andersen, Henrik Reif: Stepwise CTL model checking of state/event systems (1999)
- Meinel, Ch.; Slobodová, A.: A reducibility concept for problems defined in terms of ordered binary decision diagrams (1997)
Further publications can be found at: http://vlsi.colorado.edu/~fabio/CUDD/node7.html