Skip to main content
SpringerLink
Log in

Algorithms for Synthesis and Testing of Asynchronous Circuits

  • Book
  • © 1993

Overview

Authors:
  1. Luciano Lavagno

    1. University of California, Berkeley, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Alberto Sangiovanni-Vincentelli

    1. University of California, Berkeley, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 232)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 249.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 249.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. Introduction

    • Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 1-6

  3. Overview of the Design Methodology

    • Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 7-29

  4. Previous Work

    • Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 31-120

  5. The Signal Transition Graph Model

    • Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 121-176

  6. The State Encoding Methodology

    • Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 177-213

  7. The Synthesis Methodology

    • Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 215-285

  8. The Design For Testability Methodology

    • Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 287-304

  9. Conclusions

    • Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 305-307

  10. Back Matter

    Pages 309-339
    Download chapter PDF
Back to top

Keywords

About this book

Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. The lack of interest in asynchronous techniques was motivated by the progressive shift towards synchronous design techniques that had much more structure and were much easier to verify and synthesize. System design requirements made it impossible to eliminate totally the use of asynchronous circuits. Given the objective difficulty encountered by designers, the asynchronous components of electronic systems such as interfaces became a serious bottleneck in the design process. The use of new models and some theoretical breakthroughs made it possible to develop asynchronous design techniques that were reliable and effective. This book describes a variety of mathematical models and of algorithms that form the backbone and the body of a new design methodology for asyn­ chronous design. The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in ex­ ploring the possibility of designing asynchronous circuits. It requires a solid mathematical background in discrete event systems and algorithms. While the book has not been written as a textbook, nevertheless it could be used as a reference book in an advanced course in logic synthesis or asynchronous design.

Authors and Affiliations

  • University of California, Berkeley, USA

    Luciano Lavagno, Alberto Sangiovanni-Vincentelli

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation