Externally indexed torrent

If you are the original uploader, contact staff to have it moved to your account

Textbook in PDF and DJVU formats

Computer-aided design (CAD) of digital circuits has been a topic of great importance in the last two decades, and the interest in this field is expected to grow in the coming years. Computer-aided techniques have provided the enabling methodology to design efficiently and successfully large-scale high-performance circuits for a wide spectrum of applications, ranging from information processing (e.g., computers) to telecommunication, manufacturing control, transportation, etc.
The book addresses one of the most interesting topics in CAD for digital circuits: design synthesis and optimization, i.e., the generation of detailed specifications of digital circuits from architectural or logic models and the optimization of some figures of merit, such as performance and area. This allows a designer to concentrate on the circuit specification issues and to let the CAD programs elaborate and optimize the corresponding representations until appropriate for implementation in some fabrication technology.
Some choices have been made in selecting the material of this book. First, we describe synthesis of digital synchronous circuits, as they represent the largest portion of circuit designs. In addition, the state of the art in synthesis for digital synchronous circuits is more advanced and stable than the corresponding one for asynchronous and analog circuits. Second, we present synthesis techniques at the architectural and logic level, and we do not report on physical design automation techniques. This choice is motivated by the fact that physical microelectronic design forms a topic of its own and has been addressed by other books. However, at present no textbook describes both logic and architectural synthesis in detail. Third, we present an algorithmic approach to synthesis based on a consistent mathematical framework.
In this textbook we combined CAD design issues that span the spectrum from circuit modeling with hardware description languages to cell-library binding. These problems are encountered in the design flow from an architectural or logic model of a circuit to the specification of the interconnection of the basic building blocks in any semicustom technology.
Part I Circuits and Models
Background
Hardware Modeling
Part II Architectural-Level Synthesis and Optimization
Architectural Synthesis
Scheduling Algorithms
Resource Sharing and Binding
Part III Logic-Level Synthesis and Optimization
Two-Level Combinational Logic Optimization
Multiple-Level Combinational Logic Optimization
Sequential Logic Optimization
Cell-Library Binding
Part IV Conclusions
State of the Art and Future Trends