Advertisement

The VLSI complexity of Boolean functions

  • M. R. Kramer
  • J. van Leeuwen
Section VI: Complexity Of Boolean Functions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 171)

Abstract

It is well-known that all Boolean functions of n variables can be computed by a logic circuit with O(2n/n) gates (Lupanov's theorem) and that there exist Boolean functions of n variables which require logic circuits of this size (Shannon's theorem). We present corresponding results for Boolean functions computed by VLSI circuits, using Thompson's model of a VLSI chip. We prove that all Boolean functions of n variables can be computed by a VLSI circuit of O(2n) area and period 1, and we prove that there exist Boolean functions of n variables for which every (convex) VLSI chip must have Ω(2n) area.

Keywords and phrases

logic circuit Boolean function Lupanov's theorem Shannon's theorem VLSI chip area period 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. [1]
    Brent, R.P. and H.T. Kung, The area-time complexity of binary multiplication, J.ACM 28 (1981) 521–534.Google Scholar
  2. [2]
    Lupanov, O.B., A method of circuit synthesis, Izv. V.U.Z. Radiofiz. 1 (1958) 120–140.Google Scholar
  3. [3]
    Mead, C.A. and L.A. Conway, Introduction to VLSI systems, Addison-Wesley, Reading, Mass., 1980.Google Scholar
  4. [4]
    Mead, C.A. and M. Rem, Cost and performance of VLSI computing structures, IEEE J. Solid State Circuits SC-14 (1979) 455–462.Google Scholar
  5. [5]
    Savage, J.E., The complexity of computing, John Wiley & Sons, New York, N.Y., 1976.Google Scholar
  6. [6]
    Shannon, C.E., The synthesis of two-terminal switching circuits, Bell Syst. Techn. J. 28 (1949) 59–98.Google Scholar
  7. [7]
    Thompson, C.D., A complexity theory for VLSI, (Ph.D. Thesis), Techn. Rep. CMU-CS-80-140, Dept. of Computer Science, Carnegie-Mellon University, Pittsburgh, P.A., 1980.Google Scholar
  8. [8]
    Yaglom, A.M. and I.M. Yaglom, Challenging mathematical problems with elementary solutions, Holden-Day, San Francisco, CA., 1967.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • M. R. Kramer
    • 1
  • J. van Leeuwen
    • 1
  1. 1.Department of Computer ScienceUniversity of UtrechtUtrechtthe Netherlands

Personalised recommendations