References

• 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.