The PdTRAV package is available via anonymous FTP from ... A compressed tar file named pdtrav-2.0.tar.gz can be found in directory pub. Once you have this file,
gzip -dc pdtrav-2.0.tar.gz | tar xvf -will create directory pdtrav-2.0 and its subdirectories. These directories contain the package, including documentation and a few usage examples.
There is a README file with instructions on configuration and installation in pdtrav-2.0. You can use a compiler for either ANSI C or C++. To compile and link the package the user should run the main Makefile in the src directory (generated by autoconf). The user can choose different setting options depending on the hardware/OS on which the installation has to be performed. The Cudd-2.3.0 package is required by pdtrav on a sibling directory of the PdTrav. Information on the Cudd-2.3.0 can be found from http://vlsi.colorado.edu/ fabio.
Once the user has made the libraries and executable program, he can test the program in the exp directory. Such a directory contains a few blif files on which to run PdTRAV (cmd interface), and a few script files showing how to run it. From the root directory type, for example:
cd <root directory>/pdtrav-2.0/exp/trav ../../bin/pdtrav source s1423TravOrdTrMon.cmdThis runs the traversal program on the s1423 circuit and with a variable ordering optimized for the monolithic transition relation representation. On a
Another possibility is the src/test directory, which shows some examples of how to use pdtrav as a library. The test executable (testPdtrav) is moved in the bin directory, too.
If you want to be notified of new releases of the PdTRAV package, send a message to the authors cabodi,quer@polito.it. Moreover, send feedback to the same authors.