Asynchronous Circuit Design for VLSI Signal Processing

  • Teresa H. Meng
  • Sharad Malik

Table of contents

  1. Front Matter
    Pages 1-4
  2. Teresa H. Meng, Sharad Malik
    Pages 5-6
  3. Mark E. Dean, David L. Dill, Mark Horowitz
    Pages 7-16
  4. Cho W. Moon, Paul R. Stephan, Robert K. Brayton
    Pages 85-100
  5. Peter Vanbekbergen, Bill Lin, Gert Goossens, Hugo De Man
    Pages 101-115
  6. M. A. Kishinevsky, A. Yu. Kondratyev, A. R. Taubin
    Pages 117-135
  7. L. Lavagno, N. Shenoy, A. Sangiovanni-Vincentelli
    Pages 137-160
  8. Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang
    Pages 161-182
  9. Back Matter
    Pages 183-184

About this book

Introduction

Asynchronous Circuit Design for VLSI Signal Processing is a collection of research papers on recent advances in the area of specification, design and analysis of asynchronous circuits and systems. This interest in designing digital computing systems without a global clock is prompted by the ever growing difficulty in adopting global synchronization as the only efficient means to system timing.
Asynchronous circuits and systems have long held interest for circuit designers and researchers alike because of the inherent challenge involved in designing these circuits, as well as developing design techniques for them. The frontier research in this area can be traced back to Huffman's publications `The Synthesis of Sequential Switching Circuits' in 1954 followed by Unger's book, `Asynchronous Sequential Switching Circuits' in 1969 where a theoretical foundation for handling logic hazards was established. In the last few years a growing number of researchers have joined force in unveiling the mystery of designing correct asynchronous circuits, and better yet, have produced several alternatives in automatic synthesis and verification of such circuits.
This collection of research papers represents a balanced view of current research efforts in the design, synthesis and verification of asynchronous systems.

Keywords

Analysis VLSI integrated circuit logic optimization programming static-induction transistor switch verification

Editors and affiliations

  • Teresa H. Meng
    • 1
  • Sharad Malik
    • 2
  1. 1.Stanford UniversityUSA
  2. 2.Princeton UniversityUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4615-2794-7
  • Copyright Information Kluwer Academic Publishers 1994
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-6208-1
  • Online ISBN 978-1-4615-2794-7
  • About this book