Computer-aided design (CAD)

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.

Perspectives On Software Requirements presents perspectives on several current approaches to software requirements.

Standard * Test In.

Interconnect Technology and Design for Gigascale Integration is the cumulative effort from academic researchers at Georgia Tech, MIT, and Stanford, as well as from industry researchers at IBM T.

mental improvements during the same period.

In 2002, the International Conference on Computer Aided Design (ICCAD) celebrates its 20th anniversary.

Legacy Data: A Structured Methodology For Device Migration in DSM Technology deals with the migration of existing hard IP from one technology to another using repeatable procedures.

System-on-Chip for Real-Time Applications will be of interest to engineers, both in industry and academia, working in the area of SoC VLSI design and application.

In February of 1990, the balloting process for the IEEE proposed standard P1149.

In 1998-99, at the dawn of the SoC Revolution, we wrote Surviving the SOC Revolution: A Guide to Platform Based Design.

Multi-Threshold CMOS Digital Circuits Managing Leakage Power discusses the Multi-threshold voltage CMOS (MTCMOS) technology, that has emerged as an increasingly popular technique to control the escalating leakage power, while maintaining high performance.

Modeling of Induction Motors with One and Two Degrees of Mechanical Freedom presents the mathematical model of induction motors with two degrees of mechanical freedom (IM-2DMF), formed in the electromagnetic field as well as in circuit theory, which allows analyzing the performance of these three groups of motors taking into account edge effects, winding and current asymmetry.

The application of CMOS circuits and ASIC VLSI systems to problems in medicine and system biology has led to the emergence of Bio/CMOS Interfaces and Co-Design as an exciting and rapidly growing area of research.

Automated Configuration has long been the subject of intensive research, especially in Artificial Intelligence.

This book presents selected, peer-reviewed proceedings of the 3rd International Conference on Material, Machines and Methods for Sustainable Development (MMMS2022), held in the city of Can Tho, Vietnam, from 10 to 13 November 2022.

This book presents physical understanding, modeling and simulation, on-chip characterization, layout solutions, and design techniques that are effective to enhance the reliability of various circuit units.

Variability is one of the most challenging obstacles for IC design in the nanometer regime.