Logic Synthesis for Asynchronous Controllers and Interfaces
Part of the Springer Series in Advanced Microelectronics book series (MICROELECTR., volume 8)
About this book
Introduction
This book is devoted to logic synthesis and design techniques for asynchronous circuits. It uses the mathematical theory of Petri Nets and asynchronous automata to develop practical algorithms implemented in a public domain CAD tool. Asynchronous circuits have so far been designed mostly by hand, and are thus much less common than their synchronous counterparts, which have enjoyed a high level of design automation since the mid-1970s. Asynchronous circuits, on the other hand, can be very useful to tackle clock distribution, modularity, power dissipation and electro-magnetic interference in digital integrated circuits. This book provides the foundation needed for CAD-assisted design of such circuits, and can also be used as the basis for a graduate course on logic design.
Keywords
Asynchronous circuits Boolean function Hardware Hazard-free logic synthesis Petri nets Timing diagrams Timing optimization algorithms automata integrated circuit logic petri net
Bibliographic information
- DOI https://doi.org/10.1007/978-3-642-55989-1
- Copyright Information Springer-Verlag Berlin Heidelberg 2002
- Publisher Name Springer, Berlin, Heidelberg
- eBook Packages Springer Book Archive
- Print ISBN 978-3-642-62776-7
- Online ISBN 978-3-642-55989-1
- Series Print ISSN 1437-0387
- Buy this book on publisher's site