From nowick@cs.columbia.edu Tue Jun 20 21:07:24 1995 Date: Tue, 20 Jun 95 15:45:23 EDT From: Steven Nowick To: asynchronous-private@cs.columbia.edu Subject: [Carl Seger : Book advertisement] Reply-To: asynchronous@hohum.stanford.edu Content-Length: 2188 X-Lines: 60 Status: RO A new book has just appeared on asynchronous circuits: ``Asynchronous Circuits'', J. A. Brzozowski, C.-J. H. Seger, Springer-Verlag Monographs in Computer Science, 1995, ISBN 0-387-94420-6, 404 pp., $39.00 Although asynchronous circuits date back to the early 1950s, most of the digital circuits in use today are synchronous, except for some small asynchronous interface parts. Traditionally, asynchronous circuits have been viewed as difficult to understand and design. Consequently, the design of interface circuits has become almost an art, learned on the job through trial and error. Recently, there has been a great surge of interest in asynchronous circuits. This interest stems partly from an increase in (asynchronous) communication activity in digital circuits, and partly from a desire to achieve higher performance with lower energy consumption and design cost. Also, the development of several new asynchronous design methodologies has made the design of much larger and more complex circuits possible. This book provides a comprehensive theory of asynchronous circuits, including modeling, analysis, simulation, specification, verification, and an introduction to design. It is intended as a reference for computer scientists and engineers involved in research and development of asynchronous designs. It is also suitable as a text for a graduate course in asynchronous circuits, and has been used in courses at the Universities of British Columbia, Waterloo, and Western Ontario. Contents: Foreword by C. E. Molnar Preface Chapter 1. Introductory Examples Chapter 2. Mathematical Background Chapter 3. Delay Models Chapter 4. Gate Circuits Chapter 5. CMOS Transistor Circuits Chapter 6. Up-Bounded Delay Models Chapter 7. Ternary Simulation Chapter 8. Bi-Bounded Delay Models Chapter 9. Complexity of Race Analysis Chapter 10. Regular Languages and Finite Automata Chapter 11. Behaviors and Realizations Chapter 12. Types of Behaviors Chapter 13. Limitations of Up-Bounded Delay Models Chapter 14. Symbolic Analysis Chapter 15. Design of Asynchronous Circuits (with S. Hauck) Bibliography Index