Graphical and digital media applications

Biometrics-based authentication and identification are emerging as the most reliable method to authenticate and identify individuals.

Multimedia surveillance systems is an emerging field that includes signal and image processing, communications, and computer vision.

Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.

In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care- fully.

Research on high-level synthesis started over twenty years ago, but lower-level tools were not available to seriously support the insertion of high-level synthesis into the mainstream design methodology.

Over the past decade there has been a dramatic change in the role played by design automation for electronic systems.

3.

This is a milestone in machine-assisted microprocessor verification.

Field-Programmable Gate Arrays (FPGAs) have emerged as an attractive means of implementing logic circuits, providing instant manufacturing turnaround and negligible prototype costs.

As MOS devices are scaled to meet increasingly demanding circuit specifications, process variations have a greater effect on the reliability of circuit performance.

Power supply current monitoring to detect CMOS IC defects during production testing quietly laid down its roots in the mid-1970s.

The ever-increasing miniaturization of digital electronic components is hampering the conventional testing of Printed Circuit Boards (PCBs) by means of bed-of-nails fixtures.

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.

Data Management and Internet Computing for Image/Pattern Analysis focuses on the data management issues and Internet computing aspect of image processing and pattern recognition research.

Semantic Video Object Segmentation for Content-Based Multimedia Applications provides a thorough review of state-of-the-art techniques as well as describing several novel ideas and algorithms for semantic object extraction from image sequences.

In order to establish technical prerequisites for efficient electronic business and education on the Internet, appropriate system support is needed as a vital condition for maximization of both short-term and long-term profits.

Multi-Frame Motion-Compensated Prediction for Video Transmission presents a comprehensive description of a new technique in video coding and transmission.