@inproceedings{bb7c7863f3ad43f39c747a9b765d4d0c,
title = "BDD based decomposition of logic functions with application to FPGA synthesis",
abstract = "This paper presents a theory for (disjunctive and nondisjunctive function decomposition using the BDD representation of Boolean functions. Incompletely specified as well as multi-output Boolean functions are addressed as part of the general theory. A novel algorithm (based on an EVBDD representation)for generating the set of all bound variable that make the function decomposable is also presented. We compared our BDD-based decomposition procedure with existing implementations of the Roth-Karp procedure and obtained significant speed-ups.",
author = "Lai, {Yung Te} and Massoud Pedram and Vrudhula, {Sarma B.K.}",
year = "1993",
doi = "10.1145/157485.165078",
language = "English (US)",
isbn = "0897915771",
series = "Proceedings - Design Automation Conference",
publisher = "Publ by IEEE",
pages = "642--647",
booktitle = "Proceedings - Design Automation Conference",
note = "Proceedings of the 30th ACM/IEEE Design Automation Conference ; Conference date: 14-06-1993 Through 18-06-1993",
}