Computer-aided design (CAD)

This monograph is motivated by the challenges faced in designing reliable VLSI systems in modern VLSI processes.

Managing the power consumption of circuits and systems is now considered one of the most important challenges for the semiconductor industry.

Field-programmable gate arrays (FPGAs), which are pre-fabricated, programmable digital integrated circuits (ICs), provide easy access to state-of-the-art integrated circuit process technology, and in doing so, democratize this technology of our time.

To derive rational and convincible solutions to practical decision making problems in complex and hierarchical human organizations, the decision making problems are formulated as relevant mathematical programming problems which are solved by developing optimization techniques so as to exploit characteristics or structural features of the formulated problems.

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design.

.

Nanosystems use new, nanoscopic electrical and/or mechanical devices which, as constituents of electronic and electromechanical systems, find application primarily in computing, embedded control and biomedical data acquisition.

Written by researchers who have helped found and shape the field, this book is a definitive introduction to geometric modeling.

Non-Uniform Rational B-Splines have become the de facto standard in CAD/CAM and computer graphics.

This volume documents the results and presentations, related to aspects of geometric design, of the Second International Conference on Curves and Surfaces, held in Chamonix in 1993.

This book is a comprehensive tool both for self-study and for use as a text in classical geometry.

Microfluidics-based biochips combine electronics with biochemistry, providing access to new application areas in a wide variety of fields.

Taking a novel, more appealing approach than current texts, An Integrated Introduction to Computer Graphics and Geometric Modeling focuses on graphics, modeling, and mathematical methods, including ray tracing, polygon shading, radiosity, fractals, freeform curves and surfaces, vector methods, and transformation techniques.

Printing in Plastic: Build Your Own 3D Printer is your gateway into the exciting world of personal fabrication.

Do you like to build things?

Model-Based Enterprise describes Model-Based Enterprise (MBE) and Model-Based Definition (MBD) in detail, focusing on how to obtain significant business value from MBE.

The first edition of Quantitative Feedback Theory gained enormous popularity by successfully bridging the gap between theory and real-world engineering practice.

When used together effectively, computer-aided design (CAD) and geospatial information systems (GIS) have a solid track record for streamlining decision making and reducing inefficiencies in the design, planning, and execution of critical operations and projects.

Streamlined Design Solutions Specifically for NoCTo solve critical network-on-chip (NoC) architecture and design problems related to structure, performance and modularity, engineers generally rely on guidance from the abundance of literature about better-understood system-level interconnection networks.

Today's engineers will confront the challenge of a new computing paradigm, relying on micro- and nanoscale devices.

Offering a single volume reference for high frequency semiconductor devices, this handbook covers basic material characteristics, system level concerns and constraints, simulation and modeling of devices, and packaging.

Decision diagram (DD) techniques are very popular in the electronic design automation (EDA) of integrated circuits, and for good reason.

The power consumption of microprocessors is one of the most important challenges of high-performance chips and portable devices.

In CAD-Based Optical Design with Quadoa, we explore how optical design entails evaluating application requirements and creating optical systems specifically engineered to meet the exact needs of optical instruments.

Most books on standardization describe the impact of ISO and related organizations on many industries.

Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes.

The use of computers has opened up remarkable opportunities for innovative design, improved productivity, and greater efficiency in the use of materials.

Hardware Software Co-Design of a Multimedia SOC Platform is one of the first of its kinds to provide a comprehensive overview of the design and implementation of the hardware and software of an SoC platform for multimedia applications.

Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die.

In recent years meshless/meshfree methods have gained considerable attention in engineering and applied mathematics.

STRUCTURAL ANALYSIS WITH THE FINITE ELEMENT METHODLinear StaticsVolume 1 : The Basis and SolidsEugenio OnateThe two volumes of this book cover most of the theoretical and computational aspects of the linear static analysis of structures with the Finite Element Method (FEM).

The importance of research and education in design continues to grow.

STRUCTURAL ANALYSIS WITH THE FINITE ELEMENT METHODLinear StaticsVolume 1 : The Basis and SolidsEugenio OnateThe two volumes of this book cover most of the theoretical and computational aspects of the linear static analysis of structures with the Finite Element Method (FEM).

Mixed Reality is moving out of the research-labs into our daily lives.

This book contains an edited version of the lectures and selected contri- tions presented during the Advanced Summer Institute on "e;Product Engine- ing: Tools and Methods based on Virtual Reality"e; organized at Chania th th (Greece) in the period 30 May-6 June 2007.

Computation and communication technologies underpin work and development in many different areas.

As the feature size decreases in deep sub-micron designs, coupling capacitance becomes the dominant factor in total capacitance.

SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand how SystemC can be made useful for system level modeling at higher levels of abstraction.

Power consumption is a key limitation in many high-speed and high-data-rate electronic systems today, ranging from mobile telecom to portable and desktop computing systems, especially when moving to nanometer technologies.

One of the grand challenges in the nano-scopic computing era is guarantees of robustness.

Cell-based design methodologies have dominated layout generation of digital circuits.

Perhaps nothing characterizes the inherent heterogeneity in embedded sys- tems than the ability to choose between hardware and software implementations of a given system function.

The Verilog Hardware Description Language (Verilog-HDL) has long been the most popular language for describing complex digital hardware.

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design discusses new approaches to better timing-closure and manufacturability of DSM Integrated Circuits.

"e;As chip size and complexity continues to grow exponentially, the challenges of functional verification are becoming a critical issue in the electronics industry.

Chapter 3 Specifying RTL Properties 61 3.

Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress.

I am glad to see this new book on the e language and on verification.

Statistical timing analysis is an area of growing importance in nanometer te- nologies as the uncertainties associated with process and environmental var- tions increase and this chapter has captured some of the major efforts in this area.

This book is on digital system design for programmable devices, such as FPGAs, CPLDs, and PALs.