A restricted source of power supply is analysed in this book - namely the switching mode power supplies (SMPS), which utilise the Pulse Width Modulation (PWM) technique to operate. Even though restricted, such a class of power supply is vital to circuits as most of modern electronic equipment is dependant on this form of technology to feed electronic boards. Its main advantages are greater efficiency, and its minimum physical size and weight.

Interdisciplinary knowledge such as circuit theory, semiconductor devices theory and technology, magnetics theory and technology, linear and nonlinear control theory is involved in the design of an SMPS.

This volume provides designers with an in-depth overview on the latest interdisciplinary methods involved in the design of switching mode power supplies, providing the reader with a tool whereby the learning time can be reduced and information about switching mode power supplies design processes can be easily accessed. The book adopts a systemic approach, subdividing the information into functional blocks whose properties and relationships are evaluated and compared with each other. A comprehensive list of references to the literature is given thus enabling the reader to follow up on more detail.

This book features selected papers presented at the Fourth International Conference on Nanoelectronics, Circuits and Communication Systems (NCCS 2018). Covering topics such as MEMS and nanoelectronics, wireless communications, optical communications, instrumentation, signal processing, the Internet of Things, image processing, bioengineering, green energy, hybrid vehicles, environmental science, weather forecasting, cloud computing, renewable energy, RFID, CMOS sensors, actuators, transducers, telemetry systems, embedded systems, and sensor network applications in mines, it offers a valuable resource for young scholars, researchers, and academics alike.

This book describes the design, fabrication and evaluation of a polymer-based neural interface for a cochlear electrode array, reviewed in terms of fabrication process, functionality, and reliability. Polymer-based devices have attracted attention in the neural prosthetic field due to their flexibility and compatibility with micro-fabrication process. A liquid crystal polymer (LCP) is an inert, highly water-resistant polymer suitable for the encapsulation of electronic components and as a substrate material for fabricating neural interfaces. The author has designed, fabricated, and evaluated an LCP-based cochlear electrode array for an improved polymer-based cochlear implant. The thesis deals with 3 key topics: atraumatic deep insertion, tripolar stimulation, and long-term reliability. Atraumatic insertion of the intracochlear electrode and resulting preservation of residual hearing have become essential in state-of-the-art cochlear implantation. A novel tapered design of an LCP-based cochlear electrode array is presented to meet such goals. For high-density and pitch-recognizable cochlear implant, channel interaction should be avoided. Local tripolar stimulation using multi-layered electrode sites are shown to achieve highly focused electrical stimulation. This thesis addresses another vital issue in the polymer-based neural implants: the long-term reliability issue. After suggesting a new method of forming mechanical interlocking to improve polymer-metal adhesion, the author performs accelerating aging tests to verify the method's efficacy. The aforementioned three topics have been thoroughly examined through various in vitro and in vivo studies. Verification foresees the development of LCP-based cochlear electrode array for an atraumatic deep insertion, advanced stimulation, and long-term clinical implant.

This book presents the state-of-the-art methods and procedures necessary for operating a power system. It takes into account the theoretical investigations and practical considerations of the modern electrical power system. It highlights in a systematic way the following sections: Power Sector Scenario in India, Distribution Planning and Optimization, Best practices in Operation & Maintenance of Sub-Transmission & Distribution Lines, Best Practices in Operation and Maintenance of Distribution Substation Equipment's and Auxiliaries, Best Practice in Operation & Maintenance of Transformer and Protection Systems, International Best Practices in Operation & Maintenance (Advanced Gadgets), Aerial Bunch Conductor (ABC) based Distribution System, Best Practices in Operation & Maintenance of Energy Meters.

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 introduces a completely novel architecture that can relax the trade-off existing today between noise, power and area consumption in a very suitable solution for advanced wireless communication systems. Through the combination of charge-domain operation with incremental signaling, this architecture gives the best of both worlds, providing the reduced area and high portability of digital-intensive architectures with an improved out-of-band noise performance given by intrinsic noise filtering capabilities. Readers will be enabled to design higher performance radio front-ends that consume less power and area, especially with respect to the transmitter and power amplifier designs, considered by many the "battery killers" on most mobile devices.

This book proposes probabilistic machine learning models that represent the hardware properties of the device hosting them. These models can be used to evaluate the impact that a specific device configuration may have on resource consumption and performance of the machine learning task, with the overarching goal of balancing the two optimally. The book first motivates extreme-edge computing in the context of the Internet of Things (IoT) paradigm. Then, it briefly reviews the steps involved in the execution of a machine learning task and identifies the implications associated with implementing this type of workload in resource-constrained devices. The core of this book focuses on augmenting and exploiting the properties of Bayesian Networks and Probabilistic Circuits in order to endow them with hardware-awareness. The proposed models can encode the properties of various device sub-systems that are typically not considered by other resource-aware strategies, bringing about resource-saving opportunities that traditional approaches fail to uncover. The performance of the proposed models and strategies is empirically evaluated for several use cases. All of the considered examples show the potential of attaining significant resource-saving opportunities with minimal accuracy losses at application time. Overall, this book constitutes a novel approach to hardware-algorithm co-optimization that further bridges the fields of Machine Learning and Electrical Engineering.

This work is motivated by the ongoing open question of how information in the outside world is represented and processed by the brain. Consequently, several novel methods are developed. A new mathematical formulation is proposed for the encoding and decoding of analog signals using integrate-and-fire neuron models. Based on this formulation, a novel algorithm, significantly faster than the state-of-the-art method, is proposed for reconstructing the input of the neuron. Two new identification methods are proposed for neural circuits comprising a filter in series with a spiking neuron model. These methods reduce the number of assumptions made by the state-of-the-art identification framework, allowing for a wider range of models of sensory processing circuits to be inferred directly from input-output observations. A third contribution is an algorithm that computes the spike time sequence generated by an integrate-and-fire neuron model in response to the output of a linear filter, given the input of the filter encoded with the same neuron model.

This book-presents new methods and tools for the integration and simulation of smart devices. The design approach described in this book explicitly accounts for integration of Smart Systems components and subsystems as a specific constraint. It includes methodologies and EDA tools to enable multi-disciplinary and multi-scale modeling and design, simulation of multi-domain systems, subsystems and components at all levels of abstraction, system integration and exploration for optimization of functional and non-functional metrics. By covering theoretical and practical aspects of smart device design, this book targets people who are working and studying on hardware/software modelling, component integration and simulation under different positions (system integrators, designers, developers, researchers, teachers, students etc.). In particular, it is a good introduction to people who have interest in managing heterogeneous components in an efficient and effective way on different domains and different abstraction levels. People active in smart device development can understand both the current status of practice and future research directions. * Provides a comprehensive overview of smart systems design, focusing on design challenges and cutting-edge solutions; * Enables development of a co-simulation and co-design environment that accounts for the peculiarities of the basic subsystems and components to be integrated; * Describes development of modeling and design techniques, methods and tools that enable multi-domain simulation and optimization at various levels of abstraction and across different technological domains.

This book discusses analysis, design and optimization techniques for streaming multiprocessor systems, while satisfying a given area, performance, and energy budget. The authors describe design flows for both application-specific and general purpose streaming systems. Coverage also includes the use of machine learning for thermal optimization at run-time, when an application is being executed. The design flow described in this book extends to thermal and energy optimization with multiple applications running sequentially and concurrently.

This book offers readers an easy introduction into quantum computing as well as into the design for corresponding devices. The authors cover several design tasks which are important for quantum computing and introduce corresponding solutions. A special feature of the book is that those tasks and solutions are explicitly discussed from a design automation perspective, i.e., utilizing clever algorithms and data structures which have been developed by the design automation community for conventional logic (i.e., for electronic devices and systems) and are now applied for this new technology. By this, relevant design tasks can be conducted in a much more efficient fashion than before - leading to improvements of several orders of magnitude (with respect to runtime and other design objectives). Describes the current state of the art for designing quantum circuits, for simulating them, and for mapping them to real hardware; Provides a first comprehensive introduction into design automation for quantum computing that tackles practically relevant tasks; Targets the quantum computing community as well as the design automation community, showing both perspectives to quantum computing, and what impressive improvements are possible when combining the knowledge of both communities.

System on Chip Interfaces for Low Power Design provides a top-down understanding of interfaces available to SoC developers, not only the underlying protocols and architecture of each, but also how they interact and the tradeoffs involved. The book offers a common context to help understand the variety of available interfaces and make sense of technology from different vendors aligned with multiple standards. With particular emphasis on power as a factor, the authors explain how each interface performs in various usage scenarios and discuss their advantages and disadvantages. Readers learn to make educated decisions on what interfaces to use when designing systems and gain insight for innovating new/custom interfaces for a subsystem and their potential impact.

This book discusses the design and implementation of energy harvesting systems targeting wearable devices. The authors describe in detail the different energy harvesting sources that can be utilized for powering low-power devices in general, focusing on the best candidates for wearable applications. Coverage also includes state-of-the-art interface circuits, which can be used to accept energy from harvesters and deliver it to a device in the most efficient way. Finally, the authors present power management circuits for using multiple energy harvesting sources at the same time to power devices and to enhance efficiency of the system.

This thesis provides a thorough noise analysis for conventional CIS readout chains, while also presenting and discussing a variety of noise reduction techniques that allow the read noise in standard processes to be optimized. Two physical implementations featuring sub-0.5-electron RMS are subsequently presented to verify the proposed noise reduction techniques and provide a full characterization of a VGA imager. Based on the verified noise calculation, the impact of the technology downscaling on the input-referred noise is also studied. Further, the thesis covers THz CMOS image sensors and presents an original design that achieves ultra-low-noise performance. Last but not least, it provides a comprehensive review of CMOS image sensors.

This book introduces low-noise and low-power design techniques for phase-locked loops and their building blocks. It summarizes the noise reduction techniques for fractional-N PLL design and introduces a novel capacitive-quadrature coupling technique for multi-phase signal generation. The capacitive-coupling technique has been validated through silicon implementation and can provide low phase-noise and accurate I-Q phase matching, with low power consumption from a super low supply voltage. Readers will be enabled to pick one of the most suitable QVCO circuit structures for their own designs, without additional effort to look for the optimal circuit structure and device parameters.

This book will guide Photovoltaics researchers in a new way of thinking about harvesting light energy from all wavelengths of the solar spectrum. It closes the gap between general solar cells books and photovoltaics journal articles, by focusing on the latest developments in our understanding of solid-state device physics. The material presented is experimental and based on II-VI thin-film materials, mainly CdTe-based solar cells. The authors describe the use of new device design, based on multilayer graded bandgap configuration, using CdTe-based solar cells. The authors also explain how the photo-generated currents can be enhanced using multi-step charge carrier production. The possibility of fabricating these devices using low-cost and scalable electroplating is demonstrated. The value of electroplating for large area electronic devices such as PV solar panels, display devices and nano-technology devices are also demonstrated. By enabling new understanding of the engineering of electroplated semiconductor materials and providing an overview of the semiconductor physics and technology, this practical book is ideal to guide researchers, engineers, and manufacturers on future solar cell device designs and fabrications. Discusses in detail the processes of growths, treatments, solar cell device fabrication and solid state physics, improving readers' understanding of fundamental solid state physics; Enables future improvements in CdTe-based device efficiency; Explains the significance of defects in deposited semiconductor materials and interfaces that affect the material properties and resulting device performance.

This book focuses on control techniques for LCL-type grid-connected inverters to improve system stability, control performance and suppression ability of grid current harmonics. Combining a detailed theoretical analysis with design examples and experimental validations, the book offers an essential reference guide for graduate students and researchers in power electronics, as well as engineers engaged in developing grid-connected inverters for renewable energy generation systems.

This book offers the first comprehensive view on integrated circuit and system design for the Internet of Things (IoT), and in particular for the tiny nodes at its edge. The authors provide a fresh perspective on how the IoT will evolve based on recent and foreseeable trends in the semiconductor industry, highlighting the key challenges, as well as the opportunities for circuit and system innovation to address them. This book describes what the IoT really means from the design point of view, and how the constraints imposed by applications translate into integrated circuit requirements and design guidelines. Chapter contributions equally come from industry and academia. After providing a system perspective on IoT nodes, this book focuses on state-of-the-art design techniques for IoT applications, encompassing the fundamental sub-systems encountered in Systems on Chip for IoT: ultra-low power digital architectures and circuits low- and zero-leakage memories (including emerging technologies) circuits for hardware security and authentication System on Chip design methodologies on-chip power management and energy harvesting ultra-low power analog interfaces and analog-digital conversion short-range radios miniaturized battery technologies packaging and assembly of IoT integrated systems (on silicon and non-silicon substrates). As a common thread, all chapters conclude with a prospective view on the foreseeable evolution of the related technologies for IoT. The concepts developed throughout the book are exemplified by two IoT node system demonstrations from industry. The unique balance between breadth and depth of this book: enables expert readers quickly to develop an understanding of the specific challenges and state-of-the-art solutions for IoT, as well as their evolution in the foreseeable future provides non-experts with a comprehensive introduction to integrated circuit design for IoT, and serves as an excellent starting point for further learning, thanks to the broad coverage of topics and selected references makes it very well suited for practicing engineers and scientists working in the hardware and chip design for IoT, and as textbook for senior undergraduate, graduate and postgraduate students ( familiar with analog and digital circuits).

This new and expanded monograph improves upon Mohan's earlier book, Residue Number Systems (Springer, 2002) with a state of the art treatment of the subject. Replete with detailed illustrations and helpful examples, this book covers a host of cutting edge topics such as the core function, the quotient function, new Chinese Remainder theorems, and large integer operations. It also features many significant applications to practical communication systems and cryptography such as FIR filters and elliptic curve cryptography. Starting with a comprehensive introduction to the basics and leading up to current research trends that are not yet widely distributed in other publications, this book will be of interest to both researchers and students alike.

The explosion in the wireless industry, coupled with the higher frequencies in today's digital integrated circuits (IC) has made vital the need for accurate IC testing. This is the first book dedicated to the issues surrounding RFIC testing. This ground breaking work enables professionals to perform high-accuracy RF measurements of die and packages in the RF test lab. This timely volume defines the essential elements in an RF system, explains where errors can be found in such a system and shows how to mathematically remove them with calibration.

The release of this second volume of CHIPS 2020 coincides with the 50th anniversary of Moore's Law, a critical year marked by the end of the nanometer roadmap and by a significantly reduced annual rise in chip performance. At the same time, we are witnessing a data explosion in the Internet, which is consuming 40% more electrical power every year, leading to fears of a major blackout of the Internet by 2020. The messages of the first CHIPS 2020, published in 2012, concerned the realization of quantum steps for improving the energy efficiency of all chip functions. With this second volume, we review these messages and amplify upon the most promising directions: ultra-low-voltage electronics, nanoscale monolithic 3D integration, relevant-data, brain- and human-vision-inspired processing, and energy harvesting for chip autonomy. The team of authors, enlarged by more world leaders in low-power, monolithic 3D, video, and Silicon brains, presents new vistas in nanoelectronics, promising Moore-like exponential growth sustainable through to the 2030s.

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.