BDS: a BDD-based logic optimization system.

Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal

Browse the full DAC paper archive.