Computer-aided design (CAD) books

Recent years have seen strides in the level of sophistication of VLSI circuits. There is a need for techniques...  Read More >>

Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in fourteen...  Read More >>

Practical Synthesis of High-Performance Analog Circuits presents a technique for automating the design of analog...  Read More >>

The purpose of this book is to introduce VHSIC Hardware Description Lan­ guage (VHDL) and its use for synthesis....  Read More >>

To keep pace with the increasing complexity in very large scale integrated (VLSI) circuits, the productivity of...  Read More >>

History of the Book The last three decades have witnessed an explosive development in integrated circuit fabrication...  Read More >>

Integrated circuit technology is widely used for the full integration of electronic systems. This book deals...  Read More >>

Digital Timing Macromodeling for VLSI Design Verification first of all provides an extensive history of the development...  Read More >>

 Read More >>

 Read More >>

Research on high-level synthesis started over twenty years ago, but lower-level tools were not available to seriously...  Read More >>

Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence...  Read More >>

After it was discovered that some existing approaches were wrong, it became apparent that the root of the difficulties...  Read More >>

References . . . . . . . . . . . . . . . . . . . . . 2 Notation and Tenninology . 3 Minimization Technique . 4 An...  Read More >>

This book can also serve as an excellent reference for researchers in the analog circuit design area and creators...  Read More >>

Although research in architectural synthesis has been conducted for over ten years it has had very little impact...  Read More >>

Concurrent simulation is over twenty years old. Yet, it is remarkable that no book published so far presents a correct...  Read More >>

For many years, the dominant fault model in automatic test pattern gen­ eration (ATPG) for digital integrated circuits...  Read More >>

Wave pipelining (also known as maximal rate pipelining) is a timing method­ ology used in digital systems to increase...  Read More >>

The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers...  Read More >>

As MOS devices are scaled to meet increasingly demanding circuit specifications, process variations have a greater...  Read More >>

Field-Programmable Gate Arrays (FPGAs) have emerged as an attractive means of implementing logic circuits, providing...  Read More >>

Digital BiCMOS Integrated Circuit Design is the first book devoted entirely to the analysis and design of digital...  Read More >>

Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword written by Giovanni De Micheli,...  Read More >>

This book presents a detailed summary of research on automatic layout of device-level analog circuits that was undertaken...  Read More >>