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 investigates and discusses the hardware design and implementation to achieve smart air interfaces with a reduced number of Radio Frequency (RF) transmitter and receiver chains, or even with a single reconfigurable RF-Frontend in the user terminal. Various hardware challenges are identified and addressed to enable the implementation of autonomous reconfigurable RF-Frontend architectures. Such challenges are (i) the conception of a transceiver with wide tuning range of at least up to 6 GHz, (ii) the system integration of reconfigurable technologies targeting current compact devices that demand voltages up to 100 V for adaptive controlling and (iii) the realization of a multiband and multistandard antenna module employing agile components to provide flexible frequency coverage. A solid design of a reconfigurable frontend is proposed from the RF part to the digital baseband. The system integration of different components in the reconfigurable RF-Frontend of a portable-oriented device architecture is demonstrated.

This book provides a detailed review of power amplifiers, including classes and topologies rarely covered in books, and supplies sufficient information to allow the reader to design an entire amplifier system, and not just the power amplification stage. A central aim is to furnish readers with ideas on how to simplify the design process for a preferred power amplifier stage by introducing software-based routines in a programming language of their choice. The book is in two parts, the first focusing on power amplifier theory and the second on EDA concepts. Readers will gain enough knowledge of RF and microwave transmission theory, principles of active and passive device design and manufacturing, and power amplifier design concepts to allow them to quickly create their own programs, which will help to accelerate the transceiver design process. All circuit designers facing the challenge of designing an RF or microwave power amplifier for frequencies from 2 to 18 GHz will find this book to be a valuable asset.

This book describes the n and p-channel Silicon Nanowire Transistor (SNT) designs with single and dual-work functions, emphasizing low static and dynamic power consumption. The authors describe a process flow for fabrication and generate SPICE models for building various digital and analog circuits. These include an SRAM, a baseband spread spectrum transmitter, a neuron cell and a Field Programmable Gate Array (FPGA) platform in the digital domain, as well as high bandwidth single-stage and operational amplifiers, RF communication circuits in the analog domain, in order to show this technology's true potential for the next generation VLSI.

This book provides techniques to tackle the design challenges raised by the increasing diversity and complexity of emerging, heterogeneous architectures for embedded systems. It describes an approach based on techniques from software engineering called aspect-oriented programming, which allow designers to control today's sophisticated design tool chains, while maintaining a single application source code. Readers are introduced to the basic concepts of an aspect-oriented, domain specific language that enables control of a wide range of compilation and synthesis tools in the partitioning and mapping of an application to a heterogeneous (and possibly multi-core) target architecture. Several examples are presented that illustrate the benefits of the approach developed for applications from avionics and digital signal processing. Using the aspect-oriented programming techniques presented in this book, developers can reuse extensive sections of their designs, while preserving the original application source-code, thus promoting developer productivity as well as architecture and performance portability. Describes an aspect-oriented approach for the compilation and synthesis of applications targeting heterogeneous embedded computing architectures. Includes examples using an integrated tool chain for compilation and synthesis. Provides validation and evaluation for targeted reconfigurable heterogeneous architectures. Enables design portability, given changing target devices* Allows developers to maintain a single application source code when targeting multiple architectures.

This book reviews advances in cutting-edge micro-/nano-electrometers, and discusses the technological challenges involved in their practical implementation. The detection of electrostatic charge has a wide range of applications in ionization chambers, bio-analyte and aerosol particle instruments, mass spectrometers, scanning tunneling microscopes, and even quantum computers. Designing micro-/nano-electrometers (also known as charge sensors) for electrometry is considered vital because of the charge sensitivity and resolution issues at micro-/nano-scales. The remarkably dynamic microelectromechanical systems (MEMSs)/nanoelectromechanical systems (NEMSs), and advances in solid-state electronics, hold considerable potential for the design and fabrication of extremely sensitive charge sensors.

"MEMS-based Circuits and Systems for Wireless Communications "provides comprehensive coverage of RF-MEMS technology from device to system level. This edited volume places emphasis on how system performance for radio frequency applications can be leveraged by Micro-Electro-Mechanical Systems (MEMS). Coverage also extends to innovative MEMS-aware radio architectures that push the potential of MEMS technology further ahead.

This work presents a broad overview of the technology from MEMS devices (mainly BAW and Si MEMS resonators) to basic circuits, such as oscillators and filters, and finally complete systems such as ultra-low-power MEMS-based radios. Contributions from leading experts around the world are organized in three parts. Part I introduces RF-MEMS technology, devices and modeling and includes a prospective outlook on ongoing developments towards Nano-Electro-Mechanical Systems (NEMS) and phononic crystals. Device properties and models are presented in a circuit oriented perspective. Part II focusses on design of electronic circuits incorporating MEMS. Circuit design techniques specific to MEMS resonators are applied to oscillators and active filters. In Part III contributors discuss how MEMS can advantageously be used in radios to increase their miniaturization and reduce their power consumption. RF systems built around MEMS components such as MEMS-based frequency synthesis including all-digital PLLs, ultra-low power MEMS-based communication systems and a MEMS-based automotive wireless sensor node are described."

This book provides a comprehensive introduction to spintronics-based computing for the next generation of ultra-low power/highly reliable logic. It will cover aspects from device to system-level, including magnetic memory cells, device modeling, hybrid circuit structure, design methodology, CAD tools, and technological integration methods. This book is accessible to a variety of readers and little or no background in magnetism and spin electronics are required to understand its content. The multidisciplinary team of expert authors from circuits, devices, computer architecture, CAD and system design reveal to readers the potential of spintronics nanodevices to reduce power consumption, improve reliability and enable new functionality.

The presence of liquid crystal displays (LCDs) marks the advances in mobile phones and television development over the last few decades. Japanese companies were the first to commercialize passive-matrix TNLCDs and, later on, high-resolution activematrix LCDs.Prof. Shunsuke Kobayashi has made essential contributions to Japan's prominence in LCD development throughout this period. He is well-known not only for his own groundbreaking research, but also for the training of many prominent figures in the display industry, both in Japan and in other countries.This book brings together many prominent researchers in the field of liquid crystal science and technology, to share with us the key developments in LCD over the last few decades. It comprises of five categories - from basic physics and chemistry of liquid crystals, to detailed descriptions of alignment technologies, wide viewing angle technologies, LC optics, and display applications.The Slottow-Owaki Prize is awarded for outstanding contributions to the education and training of students and professionals in the field of information displays. This year, the award recipient is Dr. Hoi-Sing Kwok, SID fellow and professor at Hong Kong University, for providing education and training in display technology to many students and professionals in Asia through the creation of a display research center at the Hong Kong University of Science and Technology.

This book provides a comprehensive introduction to embedded systems for smart appliances and energy management, bringing together for the first time a multidisciplinary blend of topics from embedded systems, information technology and power engineering. Coverage includes challenges for future resource distribution grids, energy management in smart appliances, micro energy generation, demand response management, ultra-low power stand by, smart standby and communication networks in home and building automation."

A static compensator (STATCOM), also known as static synchronous compensator, is a member of the flexible alternating current transmission system (FACTS) devices. It is a power-electronics based regulating device which is composed of a voltage source converter (VSC) and is shunt-connected to alternating current electricity transmission and distribution networks. The voltage source is created from a DC capacitor and the STATCOM can exchange reactive power with the network. It can also supply some active power to the network, if a DC source of power is connected across the capacitor. A STATCOM is usually installed in the electric networks with poor power factor or poor voltage regulation to improve these problems. In addition, it is used to improve the voltage stability of a network. This book covers STATCOMs from different aspects. Different converter topologies, output filters and modulation techniques utilized within STATCOMs are reviewed. Mathematical modeling of STATCOM is presented in detail and different STATCOM control strategies and algorithms are discussed. Modified load flow calculations for a power system in the presence of STATCOMs are presented. Several applications of STATCOMs in transmission and distribution networks are discussed in different examples and optimization techniques for defining the optimal location and ratings of the STATCOMs in power systems are reviewed. Finally, the performance of the network protection scheme in the presence of STATCOMs is described. This book will be an excellent resource for postgraduate students and researchers interested in grasping the knowledge on STATCOMs.

This book covers the complete spectrum of the fundamentals of clocked, regenerative comparators, their state-of-the-art, advanced CMOS technologies, innovative comparators inclusive circuit aspects, their characterization and properties. Starting from the basics of comparators and the transistor characteristics in nanometer CMOS, seven high-performance comparators developed by the authors in 120nm and 65nm CMOS are described extensively. Methods and measurement circuits for the characterization of advanced comparators are introduced. A synthesis of the largely differing aspects of demands on modern comparators and the properties of devices being available in nanometer CMOS, which are posed by the so-called nanometer hell of physics, is accomplished. The book summarizes the state of the art in integrated comparators. Advanced measurement circuits for characterization will be introduced as well as the method of characterization by bit-error analysis usually being used for characterization of optical receivers. The book is compact, and the graphical quality of the illustrations is outstanding. This book is written for engineers and researchers in industry as well as scientists and Ph.D students at universities. It is also recommendable to graduate students specializing on nanoelectronics and microelectronics or circuit design.

Thermal Management for LED Applications provides state-of-the-art information on recent developments in thermal management as it relates to LEDs and LED-based systems and their applications. Coverage begins with an overview of the basics of thermal management including thermal design for LEDs, thermal characterization and testing of LEDs, and issues related to failure mechanisms and reliability and performance in harsh environments. Advances and recent developments in thermal management round out the book with discussions on advances in TIMs (thermal interface materials) for LED applications, advances in forced convection cooling of LEDs, and advances in heat sinks for LED assemblies.

Aimed at electronics industry professionals, this 4th edition of the Boundary Scan Handbook describes recent changes to the IEEE1149.1 Standard Test Access Port and Boundary-Scan Architecture. This updated edition features new chapters on the possible effects of the changes on the work of the practicing test engineers and the new 1149.8.1 standard. Anyone needing to understand the basics of boundary scan and its practical industrial implementation will need this book. Provides an overview of the recent changes to the 1149.1 standard and the effect of the changes on the work of test engineers; Explains the new IEEE 1149.8.1 subsidiary standard and applications; Describes the latest updates on the supplementary IEEE testing standards. In particular, addresses: IEEE Std 1149.1 Digital Boundary-ScanIEEE Std 1149.4 Analog Boundary-ScanIEEE Std 1149.6 Advanced I/O TestingIEEE Std 1149.8.1 Passive Component TestingIEEE Std 1149.1-2013 The 2013 Revision of 1149.1IEEE Std 1532 In-System ConfigurationIEEE Std 1149.6-2015 The 2015 Revision of 1149.6

This book serves as a single-source reference to Current Conveyors and their use in modern Analog Circuit Design. The authors describe the various types of current conveyors discovered over the past 45 years, details of all currently available, off-the-shelf integrated circuit current conveyors, and implementations of current conveyors using other, off-the-shelf IC building blocks. Coverage includes prominent bipolar/CMOS/Bi-CMOS architectures of current conveyors, as well as all varieties of starting from third generation current conveyors to universal current conveyors, their implementations and applications. *Describes all commercially available off-the-shelf IC current conveyors, as well as hardware implementations of current conveyors using other off-the-shelf ICs; * Describes numerous variants of current conveyors evolved over the past forty five years; * Describes a number of Bipolar/CMOS/Bi-CMOS architectures of current conveyors, along with their characteristic features; * Includes a comprehensive collection of over 400 application circuits using current conveyors; * Provides an exhaustive catalogue of current conveyor-based circuits for a variety of applications, including instrumentation amplifiers, precision rectifiers, simulated inductors, filters, sinusoidal oscillators, waveform generators, chaos generators, analog multipliers/dividers, memristive emulators and numerous others.

This book addresses the challenges of designing high performance analog-to-digital converters (ADCs) based on the "smart data converters" concept, which implies context awareness, on-chip intelligence and adaptation. Readers will learn to exploit various information either a-priori or a-posteriori (obtained from devices, signals, applications or the ambient situations, etc.) for circuit and architecture optimization during the design phase or adaptation during operation, to enhance data converters performance, flexibility, robustness and power-efficiency. The authors focus on exploiting the a-priori knowledge of the system/application to develop enhancement techniques for ADCs, with particular emphasis on improving the power efficiency of high-speed and high-resolution ADCs for broadband multi-carrier systems.

This book shares the knowledge of active and prestigious worldwide researchers and scholars in the field of healthcare monitoring as authors investigate historical developments, summarize latest advancements, and envision future prospects on wearable, attachable, and invisible devices that monitor diverse physiological information. The coverage of the book spans multiple disciplines, from biomechanics, to bioelectricity, biochemistry, biophysics and biomaterials. There is also wide coverage of various physical and chemical quantities such as electricity, pressure, flow, motion, force, temperature, gases, and biomarkers. Each chapter explores the background of a specific monitoring device, as well as its physical and chemical principles and instrumentation, signal processing and data analysis, achieved outcomes and application scenarios, and future research topics. There are chapters on: Electrocardiograms, electroencephalograms, and electromyograms Measurement of flow phenomenon Latest wearable technologies for the quantification of human motion Various forms of wearable thermometers Monitoring of gases and chemical substances produced during metabolism...and more! This book is appropriate and accessible for students and scientists, as well as researchers in biomedical engineering, computer engineers, healthcare entrepreneurs, administrative officers, policy makers, market vendors, and healthcare personnel. It helps to provide us with insights into future endeavors, formulate innovative businesses and services, and will help improve people's health and quality of life.

This book describes several techniques to address variation-related design challenges for analog blocks in mixed-signal systems-on-chip. The methods presented are results from recent research works involving receiver front-end circuits, baseband filter linearization, and data conversion. These circuit-level techniques are described, with their relationships to emerging system-level calibration approaches, to tune the performances of analog circuits with digital assistance or control. Coverage also includes a strategy to utilize on-chip temperature sensors to measure the signal power and linearity characteristics of analog/RF circuits, as demonstrated by test chip measurements. Describes a variety of variation-tolerant analog circuit design examples, including from RF front-ends, high-performance ADCs and baseband filters;Includes built-in testing techniques, linked to current industrial trends;Balances digitally-assisted performance tuning with analog performance tuning and mismatch reduction approaches;Describes theoretical concepts as well as experimental results for test chips designed with variation-aware techniques."

Ge and III-V compounds, semiconductors with high carrier mobilities, are candidates to replace Si as the channel in MOS devices. 2D materials - like graphene and MoS_2 - are also envisioned to replace Si in the future. This thesis is devoted to the first-principles modeling of the vibrational properties of these novel channel materials. The first part of the thesis focuses on the vibrational properties of various oxides on Ge, making it possible to identify the vibrational signature of specific defects which could hamper the proper functioning of MOSFETs. The second part of the thesis reports on the electronic and vibrational properties of novel 2D materials like silicene and germanene, the Si and Ge 2D counterparts of graphene. The interaction of these 2D materials with metallic and non-metallic substrates is investigated. It was predicted, for the first time, and later experimentally confirmed, that silicene could be grown on a non-metallic template like MoS_2, a breakthrough that could open the door to the possible use of silicene in future nanoelectronic devices.

This book highlights the latest research advances in the planning and management of electric distribution networks. It addresses various aspects of distribution network management including planning, operation, customer engagement, and technology accommodation. Given the importance of electric distribution networks in power delivery systems, effectively planning and managing them are vital to satisfying technical, economic, and customer requirements. A new planning and management philosophy, techniques, and methods are essential to handling uncertainties associated with the integration of renewable-based distributed generation, demand forecast, and customer needs. This book covers topics on managing the capacity of distribution networks, while also addressing the future needs of electric systems. The efficient and economical operation of distribution networks is an essential aspect of ensuring the effective use of resources. Accordingly, this book addresses operation and control approaches and techniques suitable for future distribution networks.

As part of the effort to increase the contribution of solar cells (photovoltaics) to our energy mix, this book addresses three main areas: making existing technology cheaper, promoting advanced technologies based on new architectural designs, and developing new materials to serve as light absorbers. Leading scientists throughout the world create a fundamental platform for knowledge sharing that combines the physics, materials, and device architectures of high-efficiency solar cells. While providing a comprehensive introduction to the field, the book highlights directions for further research, and is intended to stimulate readers' interest in the development of novel materials and technologies for solar energy applications.

This book starts with background concerning three-dimensional integration - including their low energy consumption and high speed image processing - and then proceeds to how to construct them and which materials to use in particular situations. The book covers numerous applications, including next generation smart phones, driving assistance systems, capsule endoscopes, homing missiles, and many others. The book concludes with recent progress and developments in three dimensional packaging, as well as future prospects.

This book is based on the 18 tutorials presented during the 25th workshop on Advances in Analog Circuit Design. Expert designers present readers with information about a variety of topics at the frontier of analog circuit design, including low-power and energy-efficient analog electronics, with specific contributions focusing on the design of continuous-time sigma-delta modulators, automotive electronics, and power management. This book serves as a valuable reference to the state-of-the-art, for anyone involved in analog circuit research and development.