Spectral transforms for large boolean functions with applications to technology mapping

• Published in: 30th ACM/IEEE Design Automation Conference pp. 54 - 60
• Main Authors: Clarke, E. M., McMillan, K. L., Zhao, X, Fujita, M., Yang, J.
• Format: Conference Proceeding
• Language: English
• Published: New York, NY, USA ACM 01-07-1993
• Series: ACM Conferences
• Subjects: Application software; Applied computing > Arts and humanities > Architecture (buildings) > Computer-aided design; Applied computing > Physical sciences and engineering > Engineering > Computer-aided design; Binary decision diagrams; Boolean functions; Circuit synthesis; Circuit testing; Contracts; Data structures; Design automation; Filters; Hardware > Integrated circuits > Logic circuits; Hardware > Integrated circuits > Logic circuits > Combinational circuits; Laboratories; Mathematics of computing > Mathematical analysis > Numerical analysis > Computations on matrices
• ISBN: 9780897915779; 0897915771
• ISSN: 0738-100X
• DOI: 10.1145/157485.164569

The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the boolean functions that can be transformed. Currently available techniques limit the functions to less than 20 variables. In this paper, we show how to compute concise representations of the Walsh transform for functions with several hundred variables. We have applied our techniques to boolean technology mapping and, in certain cases, we obtained a speed up of as much as 50% for the matching phase.