Advertisement

Formal Methods in System Design

, Volume 10, Issue 2–3, pp 137–148 | Cite as

Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping

  • E.M. Clarke
  • K.L. Mcmillan
  • X. Zhao
  • M. Fujita
  • J. Yang
Article

Abstract

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.

spectral transform Walsh transform Reed-Muller transform Multi-Terminal Binary Decision Diagrams technology mapping 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    R.E. Bryant, "Graph-based algorithms for boolean function manipulation," IEEE Transactions on Computers, Vol. C-35, No. 8, 1986.Google Scholar
  2. 2.
    M.A. Harrison, Introduction to Switching and Automata Theory. McGraw-Hill, 1965.Google Scholar
  3. 3.
    S.L. Hurst, D.M. Miller, and J.C. Muzio, Spectral Techniques in Digital Logic. Academic Press, Inc., 1985.Google Scholar
  4. 4.
    R.J. Lechner, "A transform approach to logic design," IEEE Transactions on Computers, Vol. C-19, No. 7, 1970.Google Scholar
  5. 5.
    F. Mailhot and G. De Micheli, "Technology mapping using boolean matching and don't care sets," In Proceedings of the 1990 European Design Automation Conference, 1990.Google Scholar
  6. 6.
    G. De Micheli, David Ku, F. Mailhot, and T.K. Truong, "The olympus synthesis system for digital design," IEEE Design and Test of Computers, Oct. 1990.Google Scholar
  7. 7.
    J. Yang and G. De Micheli, "Spectral Techniques for Technology Mapping," Technical Report CSL-TR-91-498, Standford University, Dec. 1991.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • E.M. Clarke
    • 1
  • K.L. Mcmillan
    • 1
  • X. Zhao
    • 1
  • M. Fujita
    • 2
  • J. Yang
    • 2
  1. 1.School of Computer ScienceCarnegie Mellon UniversityPittsburghU.S.A
  2. 2.Fujitsu Laboratories of AmericaSanta Clara

Personalised recommendations