Resynth: circuit resynthesis by parts


Sourcecodes for the latest versions of BDS downloaded here free of charge.

License Agreement

This Software is available as freeware. It is available for use by end users. Distributing, renting or selling the Software or any of its parts to third parties is strictly prohibited. You may modify the Software only within your corporation or organization.
The author of the program, as well as the Czech Techincal University in Prague, will not be responsible for any damages of any kind associated with the use, misuse or distribution of this Software.


When publishing results obtained by this tool, you should mention one of the original references to BDS:
  • C. Yang and M. Ciesielski, "BDS: A BDD-Based Logic Optimization System," in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 21, No. 7, 2002, pp. 866-876.
  • C. Yang, M. Ciesielski, and V. Singhal, "BDS: A BDD-Based Logic Optimization System," Proc. of DAC 2000, pp. 92-97.
  • Congguang Yang, "BDD-based logic synthesis system", University of Massachusetts - Amherst, Ph.D. Thesis, January 1, 2000.

Before downloading BDS for the first time, please fill in this form. This will enable you to be informed about all news about BDS by e-mail.


Inform me about news


Download and installation instructions

  1. Download and install the CUDD package, version 2.5.0. CUDD can be found here:
  2. Download BDS-1.2.15 from here and unpack it into your installation directory.
  3. Change the WHERE in the Makefile to the CUDD installation location.
  4. Make sure that the -D parameters to the compiler in the Makefile include those used when compiling CUDD.
  5. Build BDS by running 'make'.

Please, send any comments and bug reports to