Logic Synthesis for Asynchronous Controllers and Interfaces

✍ Scribed by Prof. J. Cortadella, Dr. M. Kishinevsky, Dr. A. Kondratyev, Prof. L. Lavagno, Prof. A. Yakovlev (auth.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Tongue: English
Leaves: 278
Series: Springer Series in Advanced Microelectronics 8
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages I-XIII
Introduction....Pages 1-12
Design Flow....Pages 13-27
Background....Pages 29-59
Logic Synthesis....Pages 61-86
State Encoding....Pages 87-123
Logic Decomposition....Pages 125-165
Synthesis with Relative Timing....Pages 167-207
Design Examples....Pages 209-244
Other Work....Pages 245-254
Conclusions....Pages 255-255
Back Matter....Pages 257-273

✦ Subjects

Electronics and Microelectronics, Instrumentation; Logic Design; Optical and Electronic Materials

📜 SIMILAR VOLUMES

Logic Synthesis for Control Automata

📁 Logic Synthesis for Control Automata

✍ Samary Baranov (auth.) 📂 Library 📅 1994 🏛 Springer US 🌐 English

Logic Synthesis for Control Automata provides techniques for logic design of very complex control units with hardly any constraints on their size, i.e. the number of inputs, outputs and states. These techniques cover all stages of control unit design, including:<ul><li>description of con

Logic Synthesis for FSM-Based Control Un

📁 Logic Synthesis for FSM-Based Control Units

✍ Alexander Barkalov, Larysa Titarenko (auth.) 📂 Library 📅 2009 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Logic Synthesis for Compositional Microp

📁 Logic Synthesis for Compositional Microprogram Control Units

✍ Alexander Barkalov, Larysa Titarenko 📂 Library 📅 2008 🏛 Springer 🌐 English

The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the processing of their logic circuits design very sophisticated. One possible way to optimise such characteristics as the size or performance of control units

Logic Synthesis for FSM-Based Control Un

📁 Logic Synthesis for FSM-Based Control Units

✍ Alexander Barkalov, Larysa Titarenko (auth.) 📂 Library 📅 2009 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

The control unit is one of the most important parts of any digital system responsible for interplay of other system blocks. Very often, the model of a finite state machine (FSM) is used to represent the behaviour of a control unit. Modern computer-aided design tools include a lot of optimal so

Algorithms for Synthesis and Testing of

📁 Algorithms for Synthesis and Testing of Asynchronous Circuits

✍ Luciano Lavagno, Alberto Sangiovanni-Vincentelli 📂 Library 📅 1993 🏛 Kluwer Academic Publishers 🌐 English

The design of asynchronous circuits is increasingly important in solving problems such as complexity management, modularity, power consumption and clock distribution in large digital integrated circuits. Since the second half of the 1980s asynchronous circuits have been the subject of a gr

Algorithms for Synthesis and Testing of

📁 Algorithms for Synthesis and Testing of Asynchronous Circuits

✍ Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli 📂 Library 📅 2012 🏛 Springer 🌐 English

Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. The lack of interest in asynchronous techniques was motivated by the progressive shift towards synchronous design techniques that had much more st