Next: User's Manual Up: CUDD: CU Decision Diagram Previous: Introduction Index
Subsections

- The CUDD Package
- CUDD Friends

#
How to Get CUDD

##
The CUDD Package

The CUDD package is available via anonymous FTP from vlsi.Colorado.EDU. A compressed tar file named `cudd-2.5.0.tar.gz` can be found in directory `pub`. Once you have this file,

> `gzip -dc cudd-2.5.0.tar.gz | tar xvf -`

will create directory `cudd-2.5.0` and its subdirectories. These directories contain the decision diagram package, a few support libraries, and a toy application based on the decision diagram package. There is a README file with instructions on configuration and installation in `cudd-2.5.0`. You can use a compiler for either ANSI C or C++.

Once you have made the libraries and program, you can type:

> `cd nanotrav
> nanotrav -p 1 -autodyn -reordering sifting -trav mult32a.blif`

This will run a simple-minded FSM traversal program. (On a 2.4 GHz Pentium 4 (TM), it takes about 0.5 s.) The output produced by the program can be checked against `cudd-2.5.0/nanotrav/mult32a.out`. More information on the `nanotrav` program can be found in `cudd-2.5.0/nanotrav/README`.

If you want to be notified of new releases of the CUDD package, send a message to `Fabio@Colorado.EDU`.

##
CUDD Friends

Two CUDD extensions are available via anonymous FTP from vlsi.Colorado.EDU.

- PerlDD is an object-oriented Perl5 interface to CUDD. It is organized as a standard Perl extension module. The Perl interface is at a somewhat higher level than the C++ interface, but it is not as complete.
- DDcal is a graphic BDD calculator based on CUDD, Perl-Tk, and dot. (See Section 3.19 for information on dot.)

Next: User's Manual Up: CUDD: CU Decision Diagram Previous: Introduction Index