Computer-aided design (CAD)

The electronic circuit is a proud child of twentieth century natural science.

Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging.

Low Power Design in Deep Submicron Electronics deals with the different aspects of low power design for deep submicron electronics at all levels of abstraction from system level to circuit level and technology.

High Speed CMOS Design Styles is written for the graduate-level student or practicing engineer who is primarily interested in circuit design.

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

"e;System level testing is becoming increasingly important.

Dynamic power management is a design methodology aiming at controlling performance and power levels of digital circuits and systems, with the goal of extending the autonomous operation time of battery-powered systems, providing graceful performance degradation when supply energy is limited, and adapting power dissipation to satisfy environmental constraints.

Logic Synthesis for Low Power VLSI Designs presents a systematic and comprehensive treatment of power modeling and optimization at the logic level.

High-Level Power Analysis and Optimization presents a comprehensive description of power analysis and optimization techniques at the higher (architecture and behavior) levels of the design hierarchy, which are often the levels that yield the most power savings.

VHDL Answers to Frequently asked Questions is a follow-up to the author's book VHDL Coding Styles and Methodologies (ISBN 0-7923-9598-0).

Recent years have seen rapid strides in the level of sophistication of VLSI circuits.

Artificial neural networks have been recognized as a powerful tool to learn and reproduce systems in various fields of applications.

In the early days of digital design, we were concerned with the logical correctness of circuits.

Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers.

Memory Issues in Embedded Systems-On-Chip: Optimizations and Explorations is designed for different groups in the embedded systems-on-chip arena.

Oversampling techniques based on sigma-delta modulation are widely used to implement the analog/digital interfaces in CMOS VLSI technologies.

Since the establishment of the CAAD Futures Foundation in 1985, CAAD experts from all over the world meet every two years to present and document the state of the art of research in Computer Aided Architectural Design.

Silicon technology now allows us to build chips consisting of tens of millions of transistors.

The Verilog Programming Language Interface, commonly called the Verilog PU, is one of the more powerful features of Verilog.

Behavioral Synthesis: A Practical Guide to High-Level Design includes details on new material and new interpretations of old material with an emphasis on practical information.

Direct Engineering (DE) is the creation of a product development cycle into a single, unified process.

Formal Semantics and Proof Techniques for Optimizing VHDL Models presents a formal model of VHDL that clearly specifies both the static and dynamic semantics of VHDL.

Embedded systems are characterized by the presence of processors running application-specific software.

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

Reuse Techniques for VLSI Design is a reflection on the current state of the art in design reuse for microelectronic systems.

Principles of Verilog PLI is a `how to do' text on Verilog Programming Language Interface.

Since their introduction in 1984, Field-Programmable Gate Arrays (FPGAs) have become one of the most popular implementation media for digital circuits and have grown into a $2 billion per year industry.

Integrated circuit densities and operating speeds continue to rise at an exponential rate.

Although research in architectural synthesis has been conducted for over ten years it has had very little impact on industry.

The Verilog language is a hardware description language which provides a means of specifying a digital system at a wide range of levels of abstraction.

After long years of work that have seen little industrial application, high-level synthesis is finally on the verge of becoming a practical tool.

The time has come for high-level synthesis.

It is a great honor to provide a few words of introduction for Dr.

This book is an extension of one author's doctoral thesis on the false path problem.

References .

For the near future, the recent predictions and roadmaps of silicon semiconductor technology all agree that the number of transistors on a chip will keep growing exponentially according to Moore's Law, pushing technology towards the system-on-a-chip (SOC) era.

system is a complex object containing a significant percentage of elec- A tronics that interacts with the Real World (physical environments, humans, etc.

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

Function Architecture Co-Design is a new paradigm for the design and implementation of embedded systems.

This book presents an updated selection of the most representative contributions to the 2nd and 3rd IEEE Workshops on Signal Propagation on Interconnects (SPI) which were held in Travemtinde (Baltic See Side), Germany, May 13-15, 1998, and in Titisee-Neustadt (Black Forest), Germany, May 19-21, 1999.

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.