Logic Synthesis for Asynchronous Controllers and Interfaces
[Book]
by J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev.
Berlin, Heidelberg :
Imprint: Springer,
2002.
Springer Series in Advanced Microelectronics,
8
1437-0387 ;
Introduction -- Design Flow -- Background -- Logic Synthesis -- State Encoding -- Logic Decomposition -- Synthesis with Relative Timing -- Design Examples -- Other Work -- Conclusions -- References -- Index.
0
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.