By Topic

Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

Cover Image Copyright Year: 1988
Author(s): Allen, J.; Leighton, F.
Publisher: MIT Press
Content Type : Books & eBooks
Topics: Computing & Processing (Hardware/Software)
  • Print

Abstract

The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semiconductor technology, and testing. It extends to novel uses of the technology and concepts originally developed for integrated circuits, including integrated sensor arrays, digital photography, highly parallel computers, microactuators, neural networks, and a variety of special-purpose architectures and networks of special-purpose devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director of the Research Laboratory of Electronics at MIT. F. Thomson Leighton is Associate Professor in the Department of Mathematics and a member of the Laboratory for Computer Science at MIT.

  •   Click to expandTable of Contents

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Front Matter

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): i - xi
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Half Title, Proceedings of Previous Conferences, Title, Copyright, Contents, Preface, Program Committee, Half Title View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      A Pulse-Width Modulation Design Approach and Path-Programmable Logic for Artificial Neural Networks

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 1 - 16
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Introduction, Circuit building blocks for ANNs, PWM interchip communication scheme, Multiplication, Nonlinear scaling function, Implementation of a self-organizing feature map, Conclusion, Acknowledgements, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Automatic Determination of Optimal Clocking Parameters in Synchronous MOS VLSI Circuits

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 19 - 33
      Copyright Year: 1988

      MIT Press eBook Chapters

      A new algorithm is presented which automatically determines the optimal clocking parameters in synchronous circuits that contain level-sensitive latches, and use arbitrarily complex clocking schemes. The borrowing of time between clock phases, enabled by level-sensitive latches, comes at the cost of additional complexity for the timing analysis algorithms. An iterative algorithm is proposed here which provides a lower bound on the shortest possible cycle time at each iteration. This algorithm has been implemented in a circuit-level timing analysis program for MOS VLSI circuits. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Syntax-directed Translation of Concurrent Programs into Self-timed Circuits

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 35 - 50
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Source Language, Target Language, Syntax-directed Translation, Optimizations, Compiler and Performance, Acknowledgments, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 51 - 65
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Introduction, Trace Theory, Example Trace Structures, Operations on Trace Structures, Verification with Trace Theory, An Example: Distributed Mutual Exclusion, Conclusions and Future Work, Acknowledgements, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Invited Talk: The Memory Refresh Problem

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 67 - 68
      Copyright Year: 1988

      MIT Press eBook Chapters

      The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semiconductor technology, and testing. It extends to novel uses of the technology and concepts originally developed for integrated circuits, including integrated sensor arrays, digital photography, highly parallel computers, microactuators, neural networks, and a variety of special-purpose architectures and networks of special-purpose devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director of the Research Laboratory of Electronics at MIT. F. Thomson Leighton is Associate Professor in the Department of Mathematics and a member of the Laboratory for Computer Science at MIT. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      The Fluent Abstract Machine

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 71 - 93
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Introduction, The Fluent Abstract Machine, Implementing Fluent Instructions, The Routing Switch, The Fluent Machine, Conclusions and Extensions, Acknowledgements, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      The Design and Testing of MIPS-X

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 95 - 114
      Copyright Year: 1988

      MIT Press eBook Chapters

      MIPS-X is a high performance RISC microprocessor that can run with a peak throughput of 16 MIPS. The design began in the spring of 1984, and in the summer of 1987 we were able to execute Pascal programs on a prototype system. This paper describes the design of MIPS-X examining the strengths and weaknesses of our tools, methodology and design environment. We found that consistency within a representation and across representations of the design was an important issue and that having an executable description of the design in the form of a functional simulator was key to the success of our project. We describe a technique we call comparison-mode simulation that made final verification and system integration much easier. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Invited Talk: From First Silicon to First Sales: The Other Half of the Design Cycle

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 115 - 117
      Copyright Year: 1988

      MIT Press eBook Chapters

      The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semiconductor technology, and testing. It extends to novel uses of the technology and concepts originally developed for integrated circuits, including integrated sensor arrays, digital photography, highly parallel computers, microactuators, neural networks, and a variety of special-purpose architectures and networks of special-purpose devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director of the Research Laboratory of Electronics at MIT. F. Thomson Leighton is Associate Professor in the Department of Mathematics and a member of the Laboratory for Computer Science at MIT. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Invited Talk: The Application of Wafer-Scale Technology to Neuromorphic Systems

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 121 - 129
      Copyright Year: 1988

      MIT Press eBook Chapters

      A design approach is proposed for building wafer-scale neuromorphic systems in which the application specific architecture is laser-programmed using additive linking structures to interconnect synaptic weights realized with multiplying analog-to-digital converters. Chip level arrays have been fabricated using two different circuit configurations and small networks have been built and studied. Major unresolved issues include determination of resolution for synaptic weights during learning, development of circuits for on-chip learning, and optimization of tradeoffs among component speed, parallelism and power dissipation. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      An Evaluation of Reconfiguration Algorithms in Fault Tolerant Processor Arrays

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 131 - 148
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Introduction, Basic Notation, Reconfiguration Algorithms, Performance measures for reconfiguration algorithms, A has finitely many pattern types, Some cases where A has infinitely many pattern types, Conclusions, Appendix: Proofs, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Parallel Testing of Parametric Faults in a DRAM

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 149 - 161
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Introduction, Design for Testability, Parametric Faults in a DRAM, Testing Strategy and Algorithms, Conclusions, Acknowledgements, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Meshes with Reconfigurable Buses

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 163 - 178
      Copyright Year: 1988

      MIT Press eBook Chapters

      This paper considers a mesh with reconfigurable bus (reconfigurable mesh), that consists of a VLSI array of processors overlaid with a reconfigurable bus system. The N PEs are laid out as a square mesh in O(N) VLSI area. In addition to the 4 near neighbor mesh connections between processors, the reconfigurable bus system can be used to dynamically obtain various inter-connection patterns amongst the PEs. In fact, the reconfigurable mesh can be used as a universal chip capable of simulating any O(N) area organization without loss in time. The reconfiguration scheme also supports several parallel techniques developed on the CRCW PRAM model, leading to asymptotically superior solution times compared to those on the mesh with multiple broadcast buses, the mesh-of-trees, and the pyramid computer. These features are illustrated by presenting efficient reconfigurable mesh algorithms to solve a variety of problems involving graphs and digitized images. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Embedding Large Tree Machines into Small Ones

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 179 - 198
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains section titled: Introduction, Preliminaries, The EP Embedding, The EL Embedding, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Invited Talk: Algorithms for Multi-Level Logic Synthesis

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 199 - 201
      Copyright Year: 1988

      MIT Press eBook Chapters

      The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semiconductor technology, and testing. It extends to novel uses of the technology and concepts originally developed for integrated circuits, including integrated sensor arrays, digital photography, highly parallel computers, microactuators, neural networks, and a variety of special-purpose architectures and networks of special-purpose devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director of the Research Laboratory of Electronics at MIT. F. Thomson Leighton is Associate Professor in the Department of Mathematics and a member of the Laboratory for Computer Science at MIT. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      A Global Approach to Circuit Size Reduction Extended Abstract

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 203 - 214
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Overview, Background and Related Work, Summary of Technical Material, Practical Considerations & Experience, Conclusion and Future Work, Acknowledgements, Bibliography View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Depth First Search and Dynamic Programming Algorithms for Efficient CMOS Cell Generation

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 215 - 228
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Introduction, The layout image, The layout algorithm, Discussion, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Invited Talk: Structure in Parallel Processor Arrays

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 229 - 231
      Copyright Year: 1988

      MIT Press eBook Chapters

      The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semiconductor technology, and testing. It extends to novel uses of the technology and concepts originally developed for integrated circuits, including integrated sensor arrays, digital photography, highly parallel computers, microactuators, neural networks, and a variety of special-purpose architectures and networks of special-purpose devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director of the Research Laboratory of Electronics at MIT. F. Thomson Leighton is Associate Professor in the Department of Mathematics and a member of the Laboratory for Computer Science at MIT. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Invited Talk: Artificial Neural Networks

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 233 - 235
      Copyright Year: 1988

      MIT Press eBook Chapters

      The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semiconductor technology, and testing. It extends to novel uses of the technology and concepts originally developed for integrated circuits, including integrated sensor arrays, digital photography, highly parallel computers, microactuators, neural networks, and a variety of special-purpose architectures and networks of special-purpose devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director of the Research Laboratory of Electronics at MIT. F. Thomson Leighton is Associate Professor in the Department of Mathematics and a member of the Laboratory for Computer Science at MIT. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      A Dynamically Configurable Architecture For Prototyping Analog Circuits

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 237 - 258
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Introduction, Connectivity of Circuits, Hierarchy and Abstraction in System Design, Embedding a Circuit Graph, Compiling a Proto-chip, Experiments with the Proto-chip, Conclusions and Future Work, Appendix : The Graph Embedding Algorithm, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      A Two-Dimensional Visual Tracking Array

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 259 - 275
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Introduction, Theory, Implementation, Experimental Set-up and Results, Conclusions, Appendix — Tracking Theory, Acknowledgements, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Toward a Mathematical Theory of Single-Layer Wire Routing

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 277 - 296
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Gridless Single-Layer Routing, Basic Definitions, The Design Model, Statement of Theorems, Covering spaces, Crossings and Flow, Proof Sketches, Conclusions, Acknowledgements, Notes, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      A Faster Compaction Algorithm with Automatic Jog Insertion

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 297 - 314
      Copyright Year: 1988

      MIT Press eBook Chapters

      In this paper we refine work of Maley [13] on one-dimensional compaction with automatic jog insertion. More precisely, we give an algorithm with running time O((n2 + k) log n), where k = O(n3) is a quantity which measures the difference between the input and the output sketch, and so improve upon Maley's O(n4) algorithm. The compaction algorithm takes as input a layout sketch; the wires in a layout sketch are flexible and only indicate the topology of the layout. The compacter minimizes the horizontal width of the layout whilst maintaining its routability. The exact geometry of the wires is filled in by a router after compaction. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Layout Permutation Problems and Well-Partially-Ordered Sets

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 315 - 327
      Copyright Year: 1988

      MIT Press eBook Chapters

      his chapter contains sections titled: Introduction, Background, Relevant Prior Results on GATE MATRIX LAYOUT, MIN CUT LINEAR ARRANGEMENT and Load Factors, MODIFIED MIN CUT LINEAR ARRANGEMENT, Other Results, Acknowledgements, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Invited Talk: Large Scale Integrated Circuits for Electronic Imaging

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 329 - 333
      Copyright Year: 1988

      MIT Press eBook Chapters

      The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semiconductor technology, and testing. It extends to novel uses of the technology and concepts originally developed for integrated circuits, including integrated sensor arrays, digital photography, highly parallel computers, microactuators, neural networks, and a variety of special-purpose architectures and networks of special-purpose devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director of the Research Laboratory of Electronics at MIT. F. Thomson Leighton is Associate Professor in the Department of Mathematics and a member of the Laboratory for Computer Science at MIT. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Verifying a Static RAM Design by Logic Simulation

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 335 - 349
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Introduction, Verification Methodology, System Specification, Circuit Dependent Refinements, Simulator Performance, Experimental Results, Observations and Conclusions, Acknowledgements, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Integrating Schematics and Programs for Design Capture

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 351 - 366
      Copyright Year: 1988

      MIT Press eBook Chapters

      This chapter contains sections titled: Introduction, Net List Generation Model, Implementation, Results, Retrospective, Future Work, Summary, Acknowledgments, References View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Invited Talk: Design Representation and Design Management for Electronic Systems

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 367 - 369
      Copyright Year: 1988

      MIT Press eBook Chapters

      The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semiconductor technology, and testing. It extends to novel uses of the technology and concepts originally developed for integrated circuits, including integrated sensor arrays, digital photography, highly parallel computers, microactuators, neural networks, and a variety of special-purpose architectures and networks of special-purpose devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director of the Research Laboratory of Electronics at MIT. F. Thomson Leighton is Associate Professor in the Department of Mathematics and a member of the Laboratory for Computer Science at MIT. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Author Index

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 371
      Copyright Year: 1988

      MIT Press eBook Chapters

      The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semiconductor technology, and testing. It extends to novel uses of the technology and concepts originally developed for integrated circuits, including integrated sensor arrays, digital photography, highly parallel computers, microactuators, neural networks, and a variety of special-purpose architectures and networks of special-purpose devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director of the Research Laboratory of Electronics at MIT. F. Thomson Leighton is Associate Professor in the Department of Mathematics and a member of the Laboratory for Computer Science at MIT. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Back Matter

      Allen, J. ; Leighton, F.
      Advanced Research in VLSI:Proceedings of the Fifth MIT Conference

      Page(s): 372
      Copyright Year: 1988

      MIT Press eBook Chapters

      The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines, including computer architecture, computer-aided design, parallel algorithms, semiconductor technology, and testing. It extends to novel uses of the technology and concepts originally developed for integrated circuits, including integrated sensor arrays, digital photography, highly parallel computers, microactuators, neural networks, and a variety of special-purpose architectures and networks of special-purpose devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director of the Research Laboratory of Electronics at MIT. F. Thomson Leighton is Associate Professor in the Department of Mathematics and a member of the Laboratory for Computer Science at MIT. View full abstract»