Computer-aided design (CAD)

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.

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.