With asynchronous circuit design becoming a powerful tool in thedevelopment of new digital systems, circuit designers are expectedto have asynchronous design skills and be able to leverage them toreduce power consumption and increase system speed. This book walksreaders through all of the different methodologies of asynchronouscircuit design, emphasizing practical techniques and real-worldapplications instead of theoretical simulation. The only guide ofits kind, it also features an ftp site complete with supportmaterials. Market: Electrical Engineers, Computer Scientists, DeviceDesigners, and Developers in industry. An Instructor Support FTP site is available from the Wileyeditorial department.

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi?es to the liveliness of the ?eld and its applied ?avor.

This comprehensive analysis of a newly developed asynchronous circuit family covers circuit theory, practical circuits, design tools and an example of the design of a simple asynchronous microprocessor using the circuit family.

This seminal book presents a new logically determined designmethodology for designing clockless circuit systems. The bookpresents the foundations, architectures and methodologies toimplement such systems. Based on logical relationships, itconcentrates on digital circuit system complexity and productivityto allow for more reliable, faster and cheaper products. * Transcends shortcomings of Boolean logic. * Presents theoritical foundations, architecture and analysis ofclockless (asynchronous) circuit design. * Contains examples and exercises making it ideal for thosestudying the area.

Asynchronous System-on-Chip Interconnect describes the use of an entirely asynchronous system-bus for the modular construction of integrated circuits. Industry is just awakening to the benefits of asynchronous design in avoiding the problems of clock-skew and multiple clock-domains, an din parallel with this is coming to grips with Intellectual Property (IP) based design flows which emphasise the need for a flexible interconnect strategy. In this book, John Bainbridge investigates the design of an asynchronous on-chip interconnect, looking at all the stages of the design from the choice of wiring layout, through asynchronous signalling protocols to the higher level problems involved in supporting split transactions. The MARBLE bus (the first asynchronous SoC bus) used in a commercial demonstrator chip containing a mixture of asynchronous and synchronous macrocells is used as a concrete example throughout the book.