Title :
BDS: a BDD-based logic optimization system
Author :
Congguang Yan ; Ciesielski, Maciej ; Singhal, Vigyan
Author_Institution :
University of Massachusetts
Keywords :
Binary decision diagrams; Boolean functions; Circuit synthesis; Data structures; Delay; Logic functions; Network synthesis; Permission; Runtime; Scalability;
Conference_Titel :
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN :
1-58113-187-9
DOI :
10.1109/DAC.2000.855284
