Skip to content

Latest commit

 

History

History
37 lines (25 loc) · 1.01 KB

README.md

File metadata and controls

37 lines (25 loc) · 1.01 KB
Raw

Ubuntu

BDDs re-ordering

What is this project about?

This is a final project of ECE6740-CAD. The purpose of this project is to find a variable ordering that results in a minimal number of node sizes of the BDDs. Simulated annealing is implemented. Users could specify the desired paramenters(TEMPERATURE, FRONZEN_TEMPERATURE, DEGRADE, MAX_ITERATION_PER_TEMPERATURE).

Repository structure

  • 3rd-party : cudd package
  • src : source files
  • test : test examples
  • bench : benchmarks
  • bin : executable file

Compile steps

make distclean
make

Run

./bin/BDD /path/to/testcase.blif initial_temperature frozen_temperature iterations_per_temperature degrade

For example,

./bin/BDD ./test/test-L14.blif 1000 1 10 0.9

Experimental results

Please refer to the slide for more information.