Algorithms for synthesis and testing of asynchronous circuits
By: Luciano Lavagno, Alberto Sangiovanni-Vincentelli.
Contributors: Sangiovanni-Vincentelli, Alberto.
Series: The Kluwer international series in engineering and computer science ;; SECS 0232.; VLSI, computer architecture and digital signal processing; Kluwer international series in engineering and computer science.
Publisher: Kluwer Academic
Published: 1993
Place of publication: Boston
Language: eng
Number of pages: 339
Subjects: Electronic digital computers -- Circuits -- Testing; Electronic digital computers -- Circuits -- Mathematical models; Asynchronous circuits -- Testing; Asynchronous circuits -- Mathematical models
Description: The design of asynchronous circuits is increasingly important in solving problems such as complexity management, modularity, power consumption and clock distribution in large digital integrated circuits.

Algorithms for Synthesis and Testing of Asynchronous Circuits describes a variety of mathematical models and algorithms that form the backbone and the body of a new design methodology for asynchronous design. The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in exploring 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. Algorithms for Synthesis and Testing of Asynchronous Circuits also includes an extensive literature review. The review summarizes and compares classical papers from the 1960s with the most recent developments in the areas of asynchronous circuit design testing and verification.
Notes: Includes bibliographical references (p. 309-320) and index.