Bücher der Reihe Foundations and Trends (R) in Electronic Design Automation

Provides an overview of managing and minimizing the cost of data centres in the context of smart grids. The book reviews the operation of smart grids and analyses how power is consumed in datacenters. It then presents various cost minimization approaches using techniques from the fields of optimization, algorithmics, and feedback control.

Guides the reader through the state-of-the-art of wearable devices, detailing the challenges that researchers and designers face in achieving wide-adoption of the technology throughout society. The authors also identify the application areas where these devices are most likely to gain acceptance.

Presents the first comprehensive and coherent review of all aspects of on-chip run-time resource management designed to facilitate understanding of recent trends in dynamic and adaptive strategies. The authors provide the reader with a framework within which they can navigate both existing, as well as evolving research efforts.

Investigates state-of-the-art smart healthcare systems and their constituent components, discusses various challenges that should be taken into account while designing smart healthcare systems, explains how existing studies have tackled these challenges, and suggests some avenues for future research based on a set of open issues and challenges.

Presents recently developed approaches in automotive control systems design that take implementation resources into consideration, aiming to improve the control performances for a given amount of resources, or equivalently, realize the required control performances with fewer resources.

Provides a broad overview of the activities in the field of smart connected building design automation that attempts to make the vision a reality. The overarching range of such activities includes developing simulation tools for modelling and the design of buildings, and control algorithms to make buildings smarter and more efficient.

Examines utilization control and optimization in real-time embedded systems. The authors present several effective solutions that adaptively adjust task rates and/or processor frequencies to enforce the desired utilization.

Electric circuits and river networks share similarities in both their network structure and derivation from conservation principals. This book presents the foundations for network analysis for both disciplines and shows how numerical methods developed for circuit simulations can significantly improve river network models.

Surveys recent advances in temperature-aware 3D Multiprocessor Systems-on-Chip (3D MPSoCs) considerations. The book explores the recent advanced cooling strategies, thermal modelling frameworks, design-time optimizations, and run-time thermal management schemes that are primarily targeted for 3D MPSoCs.

Reviews different state-of-the-art mechanisms that do in-body energy harvesting as well as out-of-body wireless power delivery. The details of the energy source, transmission media, energy harvesting and coupling techniques, and the required energy transducers are discussed. The merits and disadvantages of each approach is presented.

Provides an extensive survey of research work and results on key aspects of HESS, including system architecture, design optimization, and applications. The book covers the basics of HESS, starting from the energy storage element technologies and homogeneous ESS to the architecture, optimization schemes, and applications.

Presents design flows that can tackle large designs without significant changes with respect to synchronous design flow. The book demonstrates the possibility of implementing large legacy synchronous designs in an almost "push button" manner negating the need to re-educate synchronous RTL designers.

Provides an in-depth overview of flexible electronics from their applications, manufacturing processes, device characteristics, to circuit and system design solutions. Th book also offers technical reviews of TFT technologies, manufacturing methods, and flexible photovoltaics, providing a more comprehensive introduction of this emerging field.

Covers variability macro-modeling for logic modules, system level variability analysis for multi-core systems, and system level variability mitigation techniques. The book uses illustrative and detailed examples to help explain the various techniques covered. It concludes with some pointers to future work.

A simulation-based methodology of chip-level radiation-induced soft error rates that is fast and reasonably accurate is crucial to the reliability and success of a final product. This book summarises selected publications that are deemed relevant by the author to enable a truly chip-level radiation-induced soft error rate estimation methodology.

Deals with the formalization of the design of mixed hardware/software systems. The book advocates rigorous system design as a coherent and accountable model-based process leading from requirements to correct implementations.

Provides an introduction to the fundamentals of numerical simulation, and to the basics of modelling electronic circuits and biochemical reactions. The emphasis is on capturing a minimal set of important concepts succinctly, but concretely enough that the reader will be left with an adequate foundation for further independent exploration.

Presents a detailed review and analysis of some of the leading computational methods and implementations developed for executing community detection on modern day multicore and manycore architectures.

Uses an implantable cardiac pacemaker as a working example to show how model-based design can help improve the safety and efficacy of medical device software. The book demonstrates the application of model-based design in several design activities during the development process, from the perspective of the manufacturer's design validation team.

Discusses the challenges imposed by multi-core architectures in designing time-predictable embedded systems. The book then goes on to describe, in detail, a comprehensive solution to guarantee time-predictable execution on multi-core platforms. It also discusses various techniques and surveys the state-of-the-art in terms of available solutions.

Focuses on electrical and layout perspectives, as opposed to discussing thermal and mechanic characteristics of System-in-Package (SiP). The book first introduces package technologies, and then presents SiP design flow and design exploration. Finally, it discusses details of beyond-die signal and power integrity and physical implementation.

Reviews the historical development of programmable logic devices, the fundamental programming technologies that the programmability is built on, and then describes the basic understandings gleaned from research on architectures. This is an invaluable reference for engineers and computer scientists.