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.
This book systematically teaches the reader about computer-aided design of asynchronous circuits. It will appeal to researchers, electrical engineers and advanced students.
This is the first book addressing the computer-aided design of asynchronous circuits Includes supplementary material: sn.pub/extras
J. Cortadella
Asynchronous circuits Boolean function Hardware Hazard-free logic synthesis Petri nets Timing diagrams Timing optimization algorithms automata integrated circuit logic petri net