Advertisement

Algorithms for Synthesis and Testing of Asynchronous Circuits

  • Luciano Lavagno
  • Alberto Sangiovanni-Vincentelli

Table of contents

  1. Front Matter
    Pages i-xix
  2. Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 1-6
  3. Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 7-29
  4. Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 31-120
  5. Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 121-176
  6. Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 177-213
  7. Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 215-285
  8. Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 287-304
  9. Luciano Lavagno, Alberto Sangiovanni-Vincentelli
    Pages 305-307
  10. Back Matter
    Pages 309-339

About this book

Introduction

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.

Keywords

Computer-Aided Design (CAD) Hardware algorithms circuit design complexity consumption integrated circuit logic model stability tables

Authors and affiliations

  • Luciano Lavagno
    • 1
  • Alberto Sangiovanni-Vincentelli
    • 1
  1. 1.University of CaliforniaBerkeleyUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4615-3212-5
  • Copyright Information Kluwer Academic Publishers 1993
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-6410-8
  • Online ISBN 978-1-4615-3212-5
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering