Text: "Logic Synthesis and Verification Algorithms", Hachtel and
BDD Implicit Traversal 1 (Includes Restrict)
BDD Implicit Traversal 2
abc51205 logic synthesizer source code
Pycudd Notes: To install cudd or pycudd, refer to the included Install files, be sure to
avoid too specific machine optimizations (i.e. don't use -mcpu=pentium4 unless you know
you are running a p4). To run from ~forrest/pycudd directory, you need to set:
Note that you need to make sharable object libraries from CUDD to run PYCUDD --
read the PYCUDD documentation. To test, after setting the above variables, run
example1.py and example2.py. Note we do not yet have permission to distribute BREL.
BerkMin SAT package
BerkMin notes: executable only -- needs libstdc++-libc6.1-1.so.2 this is provided by
Zchaff source distribution
Zchaff is easy to compile, just unpack and type 'make all'