VLSI Systems and Computations

  • H. T. Kung
  • Bob Sproull
  • Guy Steele

Table of contents

  1. Front Matter
    Pages i-xi
  2. Invited Papers

  3. Models of Computation

    1. Zvi M. Kedem, Alessandro Zorat
      Pages 52-60
    2. Arnold L. Rosenberg
      Pages 69-80
    3. G. Bilardi, M. Pracchi, F. P. Preparata
      Pages 81-88
  4. Complexity Theory

    1. Thomas Lengauer, Kurt Mehlhorn
      Pages 89-99
    2. Gérard M. Baudet
      Pages 100-107
    3. C. D. Thompson
      Pages 108-118
    4. Walter L. Ruzzo, Lawrence Snyder
      Pages 119-123
  5. Layout Theory and Algorithms

    1. Charles E. Leiserson, Ron Y. Pinter
      Pages 126-142
    2. Alan Siegel, Danny Dolev
      Pages 143-152
    3. Ronald L. Rivest, Alan E. Baratz, Gary Miller
      Pages 153-159
    4. Ron Y. Pinter
      Pages 160-177
    5. Donna J. Brown, Ronald L. Rivest
      Pages 178-185
    6. David S. Wise
      Pages 186-195
  6. Languages and Verification

    1. Michael J. Foster
      Pages 196-202
    2. Yonatan Malachi, Susan S. Owicki
      Pages 203-212
    3. Uri Weiser, Al Davis
      Pages 226-234
  7. Special-Purpose Architectures

    1. Peter R. Cappello, Kenneth Steiglitz
      Pages 245-254
    2. H. T. Kung, Lawrence M. Ruane, David W. L. Yen
      Pages 255-264
    3. Keith Bromley, J. J. Symanski, J. M. Speiser, H. J. Whitehouse
      Pages 273-284
  8. Multiplier Designs

    1. Peter Reusens, Walter H. Ku, Yu-Hai Mao
      Pages 301-310
  9. Processors

    1. Daniel T. Fitzpatrick, Manolis G. H. Katevenis, David A. Patterson, Zvi Peshkess, Robert W. Sherburne, John K. Foderaro et al.
      Pages 327-336
    2. John Hennessy, Norman Jouppi, Forest Baskett, John Gill
      Pages 337-346
    3. Michael M. Tsao, Andrew W. Wilson, Ralph C. McGarity, Chia-Jeng Tseng, Daniel P. Siewiorek
      Pages 357-366
  10. Systems and Processors

    1. J. G. Nash, S. Hansen, G. R. Nudd
      Pages 367-378
    2. J. Storrs Hall
      Pages 379-388
    3. B. R. Rau, P. J. Kuekes, C. D. Glaeser
      Pages 389-395
    4. K. F. Smith, T. M. Carter, C. E. Hunt
      Pages 396-407
    5. A. M. Chiang
      Pages 408-415

About this book


The papers in this book were presented at the CMU Conference on VLSI Systems and Computations, held October 19-21, 1981 in Pittsburgh, Pennsylvania. The conference was organized by the Computer Science Department, Carnegie-Mellon University and was partially supported by the National Science Foundation and the Office of Naval Research. These proceedings focus on the theory and design of computational systems using VLSI. Until very recently, integrated-circuit research and development were concentrated in the device physics and fabrication design disciplines and in the integrated-circuit industry itself. Within the last few years, a community of researchers is growing to address issues closer to computer science: the relationship between computing structures and the physical structures that implement them; the specification and verification of computational procosses implemented in VLSI; the use of massively parallel computing made possible by VLSI; the design of special­ purpose computing architectures; and the changes in general-purpose computer architecture that VLSI makes possible. It is likely that the future exploitation of VLSI technology depends as much on structural and design innovations as on advances in fabrication technology. The book is divided into nine sections: - Invited Papers. Six distinguished researchers from industry and academia presented invited papers. - Models of Computation. The papers in this section deal with abstracting the properties of VLSI circuits into models that can be used to analyze the chip area, time or energy required for a particular computation.


Integrated Circuits Integrierte Schaltung Rechnerarchitektur Systems VLSI development

Editors and affiliations

  • H. T. Kung
    • 1
  • Bob Sproull
    • 1
  • Guy Steele
    • 1
  1. 1.Carnegie-Mellon UniversityUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-68404-3
  • Online ISBN 978-3-642-68402-9
  • Buy this book on publisher's site