Computer-aided design (CAD)

The intense drive for signal integrity has been at the forefront ofrapid and new developments in CAD algorithms.

For many years, the dominant fault model in automatic test pattern gen- eration (ATPG) for digital integrated circuits has been the stuck-at fault model.

An open process of restandardization, conducted by the IEEE, has led to the definitions of the new VHDL standard.

Application-Driven Architecture Synthesis describes the state of the art of architectural synthesis for complex real-time processing.

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.

129 3.

The quest for higher performance digital systems for applications such as gen- eral purpose computing, signal/image processing, and telecommunications and an increasing cost consciousness have led to a major thrust for high speed VLSI systems implemented in inexpensive and widely available technologies such as CMOS.

Moore's law [Noy77], which predicted that the number of devices in- tegrated on a chip would be doubled every two years, was accurate for a number of years.

Digital BiCMOS Integrated Circuit Design is the first book devoted entirely to the analysis and design of digital BiCMOS integrated circuits.

Logic Synthesis and Optimization presents up-to-date research information in a pedagogical form.

Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods.

When it comes to frameworks, the familiar story of the elephant and the six blind philosophers seems to apply.

The success of VHDL since it has been balloted in 1987 as an IEEE standard may look incomprehensible to the large population of hardware designers, who had never heared of Hardware Description Languages before (for at least 90% of them), as well as to the few hundreds of specialists who had been working on these languages for a long time (25 years for some of them).

Since the early 1980s, CAD frameworks have received a great deal of attention, both in the research community and in the commercial arena.

A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware.

One of the main applications of VHDL is the synthesis of electronic circuits.

This book presents a detailed summary of research on automatic layout of device-level analog circuits that was undertaken in the late 1980s and early 1990s at Carnegie Mellon University.

Many different kinds of FPGAs exist, with different programming technologies, different architectures and different software.

Concurrent simulation is over twenty years old.

Logic Synthesis for Control Automata provides techniques for logic design of very complex control units with hardly any constraints on their size, i.

Physical Design for Multichip Modules collects together a large body of important research work that has been conducted in recent years in the area of Multichip Module (MCM) design.

Modeling in Analog Design highlights some of the most pressing issues in the use of modeling techniques for design of analogue circuits.

Modern electronics is driven by the explosive growth of digital communications and multi-media technology.

Digital Timing Macromodeling for VLSI Design Verification first of all provides an extensive history of the development of simulation techniques.

VHDL Coding Styles and Methodologies was originally written as a teaching tool for a VHDL training course.

Algorithms for VLSI Physical Design Automation, Second Edition is a core reference text for graduate students and CAD professionals.

Short turnaround has become critical in the design of electronic systems.

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

Model Generation in Electronic Design covers a wide range of model applications and research.

A reactive system is one that is in continual interaction with its environment and executes at a pace determined by that environment.

Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword written by Giovanni De Micheli, presents techniques that are useful in building complex embedded systems.

by Phil Moorby The Verilog Hardware Description Language has had an amazing impact on the mod- em electronics industry, considering that the essential composition of the language was developed in a surprisingly short period of time, early in 1984.

The appropriate interconnect model has changed several times over the past two decades due to the application of aggressive technology scaling.

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer.

System Design: A Practical Guide with SpecC presents the system design flow following a simple example through the whole process in an easy-to-follow, step-by-step fashion.

This book was motivated by the problems being faced with shrinking IC process feature sizes.

Control networks span a wide range of application areas.

Low-Energy FPGAs: Architecture and Design is a primary resource for both researchers and practicing engineers in the field of digital circuit design.

Asynchronous, or unclocked, digital systems have several potential advantages over their synchronous counterparts.

Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient methods for the computation of discrete function spectra.

Research and development of logic synthesis and verification have matured considerably over the past two decades.

This book contains the proceedings of the workshop Uncertainty in Geomet- ric Computations that was held in Sheffield, England, July 5-6, 2001.

Test Resource Partitioning for System-on-a-Chip is about test resource partitioning and optimization techniques for plug-and-play system-on-a-chip (SOC) test automation.

Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem.

Evolutionary Algorithms for Embedded System Design describes how Evolutionary Algorithm (EA) concepts can be applied to circuit and system design - an area where time-to-market demands are critical.

Java is an exciting new object-oriented technology.

This work began in 1995 as an outgrowth of the InfoPad project which showed us that in order to reduce the energy consumption of a portable multimedia terminal that something had to be done about the consumption of the microprocessor subsystem.

Robust Modal Control covers most classical multivariable modal control design techniques that were shown to be effective in practice, and in addition proposes several new tools.

Programmable logic radically changed the electronic system design landscape.

Verification isjob one in today's modem design process.