Download
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.
Acknowledgement
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.
Download and installation instructions
- Download and install the CUDD package, version 2.5.0. CUDD can be found here: http://vlsi.colorado.edu/~fabio/ or downloaded from this webpage here
- Download BDS-1.2.16 from here and unpack it into your installation directory.
- Change the WHERE in the Makefile to the CUDD installation location.
- Make sure that the -D parameters to the compiler in the Makefile include those used when compiling CUDD.
- Build BDS by running 'make'.
Please, send any comments and bug reports to schmidt@fit.cvut.cz.
|