Ebook: Asynchronous Circuits

Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to understand and design. In recent years, however, there has been a great surge of interest in asynchronous circuits, largely through the development of new asynchronous design methodologies.
This book provides a comprehensive theory of asynchronous circuits, including modelling, analysis, simulation, specification, verification, and an introduction to their design. It is based on courses given to graduate students and will be suitable for computer scientists and engineers involved in the research and development of asynchronous designs.

---

Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to understand and design. In recent years, however, there has been a great surge of interest in asynchronous circuits, largely through the development of new asynchronous design methodologies.
This book provides a comprehensive theory of asynchronous circuits, including modelling, analysis, simulation, specification, verification, and an introduction to their design. It is based on courses given to graduate students and will be suitable for computer scientists and engineers involved in the research and development of asynchronous designs.

---

Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to understand and design. In recent years, however, there has been a great surge of interest in asynchronous circuits, largely through the development of new asynchronous design methodologies.
This book provides a comprehensive theory of asynchronous circuits, including modelling, analysis, simulation, specification, verification, and an introduction to their design. It is based on courses given to graduate students and will be suitable for computer scientists and engineers involved in the research and development of asynchronous designs.
Content:
Front Matter....Pages i-xvi
Introductory Examples....Pages 1-21
Mathematical Background....Pages 23-33
Delay Models....Pages 35-43
Gate Circuits....Pages 45-60
CMOS Transistor Circuits....Pages 61-81
Up-Bounded-Delay Race Models....Pages 83-111
Ternary Simulation....Pages 113-141
Bi-Bounded Delay Models....Pages 143-166
Complexity of Race Analysis....Pages 167-185
Regular Languages and Finite Automata....Pages 187-212
Behaviors and Realizations....Pages 213-240
Types of Behaviors....Pages 241-254
Limitations of Up-Bounded Delay Models....Pages 255-273
Symbolic Analysis....Pages 275-311
Design of Asynchronous Circuits....Pages 313-366
Back Matter....Pages 367-404

---

Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to understand and design. In recent years, however, there has been a great surge of interest in asynchronous circuits, largely through the development of new asynchronous design methodologies.
This book provides a comprehensive theory of asynchronous circuits, including modelling, analysis, simulation, specification, verification, and an introduction to their design. It is based on courses given to graduate students and will be suitable for computer scientists and engineers involved in the research and development of asynchronous designs.
Content:
Front Matter....Pages i-xvi
Introductory Examples....Pages 1-21
Mathematical Background....Pages 23-33
Delay Models....Pages 35-43
Gate Circuits....Pages 45-60
CMOS Transistor Circuits....Pages 61-81
Up-Bounded-Delay Race Models....Pages 83-111
Ternary Simulation....Pages 113-141
Bi-Bounded Delay Models....Pages 143-166
Complexity of Race Analysis....Pages 167-185
Regular Languages and Finite Automata....Pages 187-212
Behaviors and Realizations....Pages 213-240
Types of Behaviors....Pages 241-254
Limitations of Up-Bounded Delay Models....Pages 255-273
Symbolic Analysis....Pages 275-311
Design of Asynchronous Circuits....Pages 313-366
Back Matter....Pages 367-404
....