This book covers key concepts in the design of 2D and 3D Network-on-Chip interconnect. It highlights design challenges and discusses fundamentals of NoC technology, including architectures, algorithms and tools. Coverage focuses on topology exploration for both 2D and 3D NoCs, routing algorithms, NoC router design, NoC-based system integration, verification and testing, and NoC reliability. Case studies are used to illuminate new design methodologies.

This book introduces readers to a variety of tools for analog layout design automation. After discussing the placement and routing problem in electronic design automation (EDA), the authors overview a variety of automatic layout generation tools, as well as the most recent advances in analog layout-aware circuit sizing. The discussion includes different methods for automatic placement (a template-based Placer and an optimization-based Placer), a fully-automatic Router and an empirical-based Parasitic Extractor. The concepts and algorithms of all the modules are thoroughly described, enabling readers to reproduce the methodologies, improve the quality of their designs, or use them as starting point for a new tool. All the methods described are applied to practical examples for a 130nm design process, as well as placement and routing benchmark sets.

This book tackles head-on the challenges of digital design in the era of billion-transistor SoCs. It discusses fundamental design concepts in design and coding required to produce robust, functionally correct designs. It also provides specific techniques for measuring and minimizing complexity in RTL code. Finally, it discusses the tradeoff between RTL and high-level (C-based) design and how tools and languages must progress to address the needs of tomorrow 's SoC designs.

More and more information, audio and video but also a range of other information type, is generated, processed and used by machines today, even though the end user may be a human. The result over the past 15 years has been a substantial increase in the type of information and change in the way humans generate, classify, store, search, access and consume information. Conversion of information to digital form is a prerequisite for this enhanced machine role, but must be done having in mind requirements such as compactness, fidelity, interpretability etc. This book presents new ways of dealing with digital information and new types of digital information underpinning the evolution of society and business.

This book introduces new massively parallel computer (MPSoC) architectures called invasive tightly coupled processor arrays. It proposes strategies, architecture designs, and programming interfaces for invasive TCPAs that allow invading and subsequently executing loop programs with strict requirements or guarantees of non-functional execution qualities such as performance, power consumption, and reliability. For the first time, such a configurable processor array architecture consisting of locally interconnected VLIW processing elements can be claimed by programs, either in full or in part, using the principle of invasive computing. Invasive TCPAs provide unprecedented energy efficiency for the parallel execution of nested loop programs by avoiding any global memory access such as GPUs and may even support loops with complex dependencies such as loop-carried dependencies that are not amenable to parallel execution on GPUs. For this purpose, the book proposes different invasion strategies for claiming a desired number of processing elements (PEs) or region within a TCPA exclusively for an application according to performance requirements. It not only presents models for implementing invasion strategies in hardware, but also proposes two distinct design flavors for dedicated hardware components to support invasion control on TCPAs.

This book provides a detailed analysis of all aspects of capacitive DC-DC converter design: topology selection, control loop design and noise mitigation. Readers will benefit from the authors' systematic overview that starts from the ground up, in-depth circuit analysis and a thorough review of recently proposed techniques and design methodologies. Not only design techniques are discussed, but also implementation in CMOS is shown, by pinpointing the technological opportunities of CMOS and demonstrating the implementation based on four state-of-the-art prototypes. "

The aim of this book is to expand and improve upon the existing knowledge on discrete-time 1-bit look-ahead sigma-delta modulation in general, and to come to a solution for the above mentioned specific issues arising from 1-bit sigma-delta modulation for SA-CD. In order to achieve this objective an analysis is made of the possibilities for improving the performance of digital noise-shaping look-ahead solutions. On the basis of the insights obtained from the analysis, several novel generic 1-bit look-ahead solutions that improve upon the state-of-the-art will be derived and their performance will be evaluated and compared. Finally, all the insights are combined with the knowledge of the SA-CD lossless data compression algorithm to come to a specifically for SA-CD optimized look-ahead design.

This book describes the design of CMOS circuits for ultra-low power consumption including analog, radio frequency (RF), and digital signal processing circuits (DSP). The book addresses issues from circuit and system design to production design, and applies the ultra-low power circuits described to systems for digital hearing aids and capsule endoscope devices. Provides a valuable introduction to ultra-low power circuit design, aimed at practicing design engineers; Describes all key building blocks of ultra-low power circuits, from a systems perspective; Applies circuits and systems described to real product examples such as hearing aids and capsule endoscopes.

The road vehicle of the future will embrace innovations from three major automotive technology fields: driver assistance systems, vehicle networking and alternative propulsion. Smart systems such as adaptive ICT components and MEMS devices, novel network architectures, integrated sensor systems, intelligent interfaces and functional materials form the basis of these features and permit their successful and synergetic integration. They increasingly appear to be the key enabling technologies for safe and green road mobility. For more than fifteen years the International Forum on Advanced Microsystems for Automotive Applications (AMAA) has been successful in detecting novel trends and in discussing the technological implications from early on. The topic of the AMAA 2013 will be Smart Systems for Safe and Green Vehicles . This book contains peer-reviewed papers written by leading engineers and researchers which all address the ongoing research and novel developments in the field.

www.amaa.de

Modeling of photovoltaic sources and their emulation by means of power electronic converters are challenging issues. The former is tied to the knowledge of the electrical behavior of the PV generator; the latter consists in its realization by a suitable power amplifier. This extensive introduction to the modeling of PV generators and their emulation by means of power electronic converters will aid in understanding and improving design and set up of new PV plants. The main benefit of reading Photovoltaic Sources is the ability to face the emulation of photovoltaic generators obtained by the design of a suitable equipment in which voltage and current are the same as in a real source. This is achieved according to the following steps: the source electrical behavior modeling, the power converter design, including its control, for the laboratory emulator. This approach allows the reader to cope with the creation of an indoor virtual photovoltaic plant, in which the environmental conditions can be imposed by the user, for testing real operation including maximum power point tracking, partial shading, control for the grid or load interfacing, etc. Photovoltaic Sources is intended to meet the demands of postgraduate level students, and should prove useful to professional engineers and researchers dealing with the problems associated with modeling and emulation of photovoltaic sources.

High-speed, power-efficient analog integrated circuits can be used as standalone devices or to interface modern digital signal processors and micro-controllers in various applications, including multimedia, communication, instrumentation, and control systems. New architectures and low device geometry of complementary metaloxidesemiconductor (CMOS) technologies have accelerated the movement toward system on a chip design, which merges analog circuits with digital, and radio-frequency components.

This book describes for readers technology used for effective sensing of our physical world and intelligent processing techniques for sensed information, which are essential to the success of Internet of Things (IoTs). The authors provide a multidisciplinary view of sensor technology from materials, process, circuits, and big data domains and showcase smart sensor systems in real applications including smart home, transportation, medical, environmental, agricultural, etc. Unlike earlier books on sensors, this book will provide a "global" view on smart sensors covering abstraction levels from device, circuit, systems, and algorithms. Profiles active research on smart sensors based on CMOS microelectronics; Describes applications of sensors and sensor systems in cyber physical systems, the social information infrastructure in our modern world; Includes coverage of a variety of related information technologies supporting the application of sensors; Discusses the integration of computation, networking, actuation, databases, and various sensors, in order to embed smart sensor systems into actual social systems.

This book highlights recent advances and applications in terahertz (THz) technology, addressing advanced topics such as THz biomedical imaging, pattern recognition and tomographic reconstruction for THz biomedical imaging by machine learning and artificial intelligence, THz imaging radars for autonomous vehicle applications, and THz imaging systems for security and surveillance. It also discusses theoretical, experimental, established and validated empirical work on these topics.

The Information and communication technology (ICT) industry is said to account for 2% of the worldwide carbon emissions - a fraction that continues to grow with the relentless push for more and more sophisticated computing equipment, c- munications infrastructure, and mobile devices. While computers evolved in the directionofhigherandhigherperformanceformostofthelatterhalfofthe20thc- tury, the late 1990's and early 2000'ssaw a new emergingfundamentalconcern that has begun to shape our day-to-day thinking in system design - power dissipation. As we elaborate in Chapter 1, a variety of factors colluded to raise power-ef?ciency as a ?rst class design concern in the designer's mind, with profound consequences all over the ?eld: semiconductor process design, circuit design, design automation tools, system and application software, all the way to large data centers. Power-ef?cient System Design originated from a desire to capture and highlight the exciting developments in the rapidly evolving ?eld of power and energy op- mization in electronic and computer based systems. Tremendous progress has been made in the last two decades, and the topic continues to be a fascinating research area. To develop a clearer focus, we have concentrated on the relatively higher level of design abstraction that is loosely called the system level. In addition to the ext- sive coverage of traditional power reduction targets such as CPU and memory, the book is distinguished by detailed coverage of relatively modern power optimization ideas focussing on components such as compilers, operating systems, servers, data centers, and graphics processors.

Given the widespread use of real-time multitasking systems, there are tremendous optimization opportunities if reconfigurable computing can be effectively incorporated while maintaining performance and other design constraints of typical applications. The focus of this book is to describe the dynamic reconfiguration techniques that can be safely used in real-time systems. This book provides comprehensive approaches by considering synergistic effects of computation, communication as well as storage together to significantly improve overall performance, power, energy and temperature."

This book presents a synthesis of the research carried out in the Laboratory of Signal Processing and Communications (LaPSyC), CONICET, Universidad Nacional del Sur, Argentina, since 2003. It presents models and techniques widely used by the signal processing community, focusing on low-complexity methodologies that are scalable to different applications. It also highlights measures of the performance and impact of each compensation technique. The book is divided into three parts: 1) basic models 2) compensation techniques and 3) applications in advanced technologies. The first part addresses basic architectures of transceivers, their component blocks and modulation techniques. It also describes the performance to be taken into account, regardless of the distortions that need to be compensated. In the second part, several schemes of compensation and/or reduction of imperfections are explored, including linearization of power amplifiers, compensation of the characteristics of analog-to- digital converters and CFO compensation for OFDM modulation. The third and last part demonstrates the use of some of these techniques in modern wireless-communication systems, such as full-duplex transmission, massive MIMO schemes and Internet of Things applications.

This book provides a thorough overview of cutting-edge research on electronics applications relevant to industry, the environment, and society at large. It covers a broad spectrum of application domains, from automotive to space and from health to security, while devoting special attention to the use of embedded devices and sensors for imaging, communication and control. The book is based on the 2020 ApplePies Conference, held online in November 2020, which brought together researchers and stakeholders to consider the most significant current trends in the field of applied electronics and to debate visions for the future. Areas addressed by the conference included information communication technology; biotechnology and biomedical imaging; space; secure, clean and efficient energy; the environment; and smart, green and integrated transport. As electronics technology continues to develop apace, constantly meeting previously unthinkable targets, further attention needs to be directed toward the electronics applications and the development of systems that facilitate human activities. This book, written by industrial and academic professionals, represents a valuable contribution in this endeavor.

This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and Functional Coverage. Readers will benefit from the step-by-step approach to learning language and methodology nuances of both SystemVerilog Assertions and Functional Coverage, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model complex timing checks and objectively answer the question 'have we functionally verified everything'. Written by a professional end-user of ASIC/SoC/CPU and FPGA design and Verification, this book explains each concept with easy to understand examples, simulation logs and applications derived from real projects. Readers will be empowered to tackle the modeling of complex checkers for functional verification and exhaustive coverage models for functional coverage, thereby drastically reducing their time to design, debug and cover. This updated third edition addresses the latest functional set released in IEEE-1800 (2012) LRM, including numerous additional operators and features. Additionally, many of the Concurrent Assertions/Operators explanations are enhanced, with the addition of more examples and figures. * Covers in its entirety the latest IEEE-1800 2012 LRM syntax and semantics; * Covers both SystemVerilog Assertions and SystemVerilog Functional Coverage languages and methodologies; * Provides practical applications of the what, how and why of Assertion Based Verification and Functional Coverage methodologies; * Explains each concept in a step-by-step fashion and applies it to a practical real life example; * Includes 6 practical LABs that enable readers to put in practice the concepts explained in the book.

This unique book provides an up-to-date overview of the concepts behind lead-free soldering techniques. Readers will find a description of the physical and mechanical properties of lead-free solders, in addition to lead-free electronics and solder alloys. Additional topics covered include the reliability of lead-free soldering, tin whiskering and electromigration, in addition to emerging technologies and research.

This book is a single-source guide to nonlinearity and nonlinear techniques in energy harvesting, with a focus on vibration energy harvesters for micro and nanoscale applications. The authors demonstrate that whereas nonlinearity was avoided as an undesirable phenomenon in early energy harvesters, now it can be used as an essential part of these systems. Readers will benefit from an overview of nonlinear techniques and applications, as well as deeper insight into methods of analysis and modeling of energy harvesters, employing different nonlinearities. The role of nonlinearity due to different aspects of an energy harvester is discussed, including nonlinearity due to mechanical-to-electrical conversion, nonlinearity due to conditioning electronic circuits, nonlinearity due to novel materials (e.g., graphene), etc. Coverage includes tutorial introductions to MEMS and NEMS technology, as well as a wide range of applications, such as nonlinear oscillators and transducers for energy harvesters and electronic conditioning circuits for effective energy processing.

This book is addressed to newcomers to error control coding (ECC), making the subject easy to understand and to apply in a variety of cases. The book begins by presenting in a detailed, step-by-step manner the plethora of parts an ECC system has and the way they interact to achieve the performance required. Contrary to the more abstract and formal approach followed in most books on this topic, this book is unique in that all of the concepts, methods, techniques and algorithms are introduced by way of examples. Thus, the book is almost a workbook, and therefore very suitable for self-study. Readers are encouraged to take an active role while reading, performing calculations as chapters' progress. Moreover, to reinforce the learning process, many of the topics introduced in the book (Galois fields, Extended Hamming codes, Reed-Solomon codes, interleaving, erasure correction, etc.) are presented in various parts of the book in different ways or contexts. Offers a practical guide to error control coding, accessible to readers with varying backgrounds; Provides newcomers with a sound foundation in error control coding, using a select few topics considered by the author fundamental from an engineering point of view; Presents material with minimal mathematics; Motivates carefully concepts, methods and algorithms making clear the idea behind the conditions for the code to work.

Wafer-scale integration has long been the dream of system designers. Instead of chopping a wafer into a few hundred or a few thousand chips, one would just connect the circuits on the entire wafer. What an enormous capability wafer-scale integration would offer: all those millions of circuits connected by high-speed on-chip wires. Unfortunately, the best known optical systems can provide suitably ?ne resolution only over an area much smaller than a whole wafer. There is no known way to pattern a whole wafer with transistors and wires small enough for modern circuits. Statistical defects present a ?rmer barrier to wafer-scale integration. Flaws appear regularly in integrated circuits; the larger the circuit area, the more probable there is a ?aw. If such ?aws were the result only of dust one might reduce their numbers, but ?aws are also the inevitable result of small scale. Each feature on a modern integrated circuit is carved out by only a small number of photons in the lithographic process. Each transistor gets its electrical properties from only a small number of impurity atoms in its tiny area. Inevitably, the quantized nature of light and the atomic nature of matter produce statistical variations in both the number of photons de?ning each tiny shape and the number of atoms providing the electrical behavior of tiny transistors. No known way exists to eliminate such statistical variation, nor may any be possible.

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. New sections cover advanced techniques, and a new chapter, The Road To Formal Signoff, emphasizes techniques used when replacing simulation work with Formal Verification. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.

This book describes a new way to design and utilize Instrumentation Amplifiers (IAs) by taking advantages of the current-mode (CM) approach. For the first time, all different topologies of CMIAs are discussed and compared, providing a single-source reference for instrumentation and measurement experts who want to choose a topology for a specific application. The authors also explain major challenges in designing CMIAs, so the book can be useful for anyone studying instrumentation amplifiers, and even other analog circuits. Coverage also includes various CM signal processing techniques employed in CMIAs, and applications of the CMIAs in biomedical and data acquisition are demonstrated.