Electrical engineering

The purposes of this book are many.

Speech coding has been an ongoing area of research for several decades, yet the level of activity and interest in this area has expanded dramatically in the last several years.

The rapid development of optical fiber transmission technology has created the possibility for constructing digital networks that are as ubiquitous as the current voice network but which can carry video, voice, and data in massive qlJantities.

Modem industrial society functions with the expectation that electricity will be available when required.

It is a great honor to provide an introduction for Dr.

Computer-Aided Design of Analog Circuits and Systems brings together in one place important contributions and state-of-the-art research results in the rapidly advancing area of computer-aided design of analog circuits and systems.

As the complexity and the density of VLSI chips increase with shrinking design rules, the evaluation of long-term reliability of MOS VLSI circuits is becoming an important problem.

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.

This book brings together important contributions and state-of-the-art research results in the rapidly advancing area of symbolic analysis of analog circuits.

An image or video sequence is a series of two-dimensional (2-D) images sequen- tially ordered in time.

Speech and Audio Coding for Wireless and Network Applications contains 34 chapters, loosely grouped into six topical areas.

Satellite Communications: Mobile and Fixed Services is based on the premise that designers of future satellite systems must take account of the strong competition that satellites face from optical fibers.

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems.

BiCMOS Technology and Applications, Second Edition provides a synthesis of available knowledge about the combination of bipolar and MOS transistors in a common integrated circuit - BiCMOS.

A Guide to VHDL, Second Edition is intended for the working engineer who needs to develop, document, simulate, and synthesize a design using the VHDL language.

This book has its roots in an idea first formulated by Barrie Gilbert in 1975.

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.

Connectionist Speech Recognition: A Hybrid Approach describes the theory and implementation of a method to incorporate neural network approaches into state of the art continuous speech recognition systems based on hidden Markov models (HMMs) to improve their performance.

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.

This monograph presents our recent research on Simultaneous Switching Noise (SSN) and related issues for CMOS based systems.

Elliptic curves have been intensively studied in algebraic geometry and number theory.

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.

Nonholonomic Motion Planning grew out of the workshop that took place at the 1991 IEEE International Conference on Robotics and Automation.

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

Industrial Energy Management: Principles and Applications provides an overall view of the energy management approach by following the stream of energy from factory boundaries to end users.

In this book, the state-of-the-art and future vision of wireless communications is presented in the form of a number of new services.

The history of this book begins way back in 1982.

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

One of the strongest trends in the design and manufacture of modern electronics packages and assemblies is the utilization of surface mount technology as a replacement for through-hole tech- nology.

Fine pitch high lead count integrated circuit packages represent a dramatic change from the conventional methods of assembling electronic components to a printed interconnect circuit board.

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.

In recent years there has been tremendous activity in computational neuroscience resulting from two parallel developments.

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).

Magnetic data storage can be viewed as a data communication system.

A silicon compiler is a software system which can automatically generate an integrated circuit from a user's specification.

Since the late 1960s, there has been a revolution in robots and industrial automation, from the design of robots with no computing or sensorycapabilities (first-generation), to the design of robots with limited computational power and feedback capabilities (second-generation), and the design of intelligent robots (third-generation), which possess diverse sensing and decision making capabilities.

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

This book is the first in a set of forthcoming books focussed on state-of-the-art development in the VLSI Signal Processing area.

Asynchronous Circuit Design for VLSI Signal Processing is a collection of research papers on recent advances in the area of specification, design and analysis of asynchronous circuits and systems.

Electrical overstress (EOS) and Electrostatic discharge (ESD) pose one of the most dominant threats to integrated circuits (ICs).

Summary Based on the experiences of past designs and the outcome of recent studies in the comparisons of low-level image processing architectures, a pipelined system for real- time low-image processing has been designed and realized in CMOS technology.

Instabilities associated with hot electrons in semiconductors have been investigated from the beginning of transistor physics in the 194Os.

Published in honour of the 70th birthday of Yoh-Han Pao, George S.

This volume contains the papers presented at the First Mexico-U.

Broadband Integrated Services Digital Network (B-ISDN) is conceived as an all-purpose digital network supporting interactive and distributive services, bursty and continuous traffic, connection-oriented and connectionless services, all in the same network.

These Proceedings, consisting of Parts A and B, contain the edited versions of most of the papers presented at the annual Review of Progress in Quantitative Nondestructive Evaluation held at the University of California San Diego, in La Jolla, California on July 19- July 24, 1992.

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied.