This book is a technical publication for students, scholars and engineers in electrical engineering, focusing on the pulse-width-modulation (PWM) technologies in power electronics area. Based on an introduction of basic PWM principles this book analyzes three major challenges for PWM on system performance: power losses, voltage/current ripple and electromagnetic interference (EMI) noise, and the lack of utilization of control freedoms in conventional PWM technologies. Then, the model of PWM's impact on system performance is introduced, with the current ripple prediction method for voltage source converter as example. With the prediction model, two major advanced PWM methods are introduced: variable switching frequency PWM and phase-shift PWM, which can reduce the power losses and EMI for the system based on the prediction model. Furthermore, the advanced PWM can be applied in advanced topologies including multilevel converters and paralleled converters. With more control variables in the advanced topologies, performance of PWM can be further improved. Also, for the special problem for common-mode noise, this book introduces modified PWM method for reduction. Especially, the paralleled inverters with advanced PWM can achieve good performance for the common-mode noise reduction. Finally, the implementation of PWM technologies in hardware is introduced in the last part.

This textbook provides an introduction to the study of digital signal processing, employing a top-to-bottom structure to motivate the reader, a graphical approach to the solution of the signal processing mathematics, and extensive use of MATLAB. In contrast to the conventional teaching approach, the book offers a top-down approach which first introduces students to digital filter design, provoking questions about the mathematical tools required. The following chapters provide answers to these questions, introducing signals in the discrete domain, Fourier analysis, filters in the time domain and the Z-transform. The author introduces the mathematics in a conceptual manner with figures to illustrate the physical meaning of the equations involved. Chapter six builds on these concepts and discusses advanced filter design, and chapter seven discusses matters of practical implementation. This book introduces the corresponding MATLAB functions and programs in every chapter with examples, and the final chapter introduces the actual real-time filter from MATLAB. Aimed primarily at undergraduate students in electrical and electronic engineering, this book enables the reader to implement a digital filter using MATLAB. Deliver the conceptual knowledge of digital signal processing with extensive use of the illustrations from practical viewpoint. Also, the digital signal processing is initiated from the digital not from the continuous domain.

This book presents a collection of peer-reviewed articles from the 7th International Conference on Microelectronics, Circuits, and Systems - Micro 2020. The volume covers the latest development and emerging research topics of material sciences, devices, microelectronics, circuits, nanotechnology, system design and testing, simulation, sensors, photovoltaics, optoelectronics, and its different applications. This book also deals with several tools and techniques to match the theme of the conference. It will be a valuable resource for researchers, professionals, Ph.D. scholars, undergraduate and postgraduate students working in Electronics, Microelectronics, Electrical, and Computer Engineering.

With vastly increased complexity and functionality in the "nanometer era" (i.e. hundreds of millions of transistors on one chip), increasing the performance of integrated circuits has become a challenging task. This is due primarily to the inevitable increase in the distance among circuit elements and interconnect design solutions have become the greatest determining factor in overall performance.
Three-dimensional (3D) integrated circuits (ICs), which contain multiple layers of active devices, have the potential to enhance dramatically chip performance and functionality, while reducing the distance among devices on a chip. They promise solutions to the current "interconnect bottleneck" challenges faced by IC designers. They also may facilitate the integration of heterogeneous materials, devices, and signals. However, before these advantages can be realized, key technology challenges of 3D ICs must be addressed.
This is the first book on 3-D integrated circuit design, covering all of the technological and design aspects of this emerging design paradigm, while proposing effective solutions to specific challenging problems concerning the design of three-dimensional integrated circuits. A handy, comprehensive reference or a practical design guide, this book provides a sound foundation for the design of three-dimensional integrated circuits.
* Demonstrates how to overcome "Interconnect Bottleneck" with 3D Integrated Circuit Design...leading edge design techniques offer solutions to problems (performance/power consumption/price) faced by all circuit designers.
* The FIRST book on 3D Integrated Circuit Design...provides up-to-date information that is otherwise difficult tofind;
* Focuses on design issues key to the product development cyle...good design plays a major role in exploiting the implementation flexibilities offered in the third dimension;
* Provides broad coverage of 3D IC Design, including Interconnect Prediction Models, Thermal Management Techniques, and Timing Optimization...offers practical view of designing 3D circuits.

This book provides a single-source reference to routing algorithms for Networks-on-Chip (NoCs), as well as in-depth discussions of advanced solutions applied to current and next generation, many core NoC-based Systems-on-Chip (SoCs). After a basic introduction to the NoC design paradigm and architectures, routing algorithms for NoC architectures are presented and discussed at all abstraction levels, from the algorithmic level to actual implementation. Coverage emphasizes the role played by the routing algorithm and is organized around key problems affecting current and next generation, many-core SoCs. A selection of routing algorithms is included, specifically designed to address key issues faced by designers in the ultra-deep sub-micron (UDSM) era, including performance improvement, power, energy, and thermal issues, fault tolerance and reliability.

This book describes a wide variety of System-on-Chip (SoC) security threats and vulnerabilities, as well as their sources, in each stage of a design life cycle. The authors discuss a wide variety of state-of-the-art security verification and validation approaches such as formal methods and side-channel analysis, as well as simulation-based security and trust validation approaches. This book provides a comprehensive reference for system on chip designers and verification and validation engineers interested in verifying security and trust of heterogeneous SoCs.

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems.

This book will explain how to verify SoC logic designs using "formal" and "semi-formal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in "functional" verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been getting much more attention. So far, most of the books on formal verification target the register transfer level (RTL) or lower levels of design. For higher design productivity, it is essential to debug designs as early as possible. That is, designs should be completely verified at very abstracted design levels (higher than RTL). This book covers all aspects of high-level formal and semi-formal verification techniques for system level designs.
- First book that covers all aspects of formal and semi-formal, high-level (higher than RTL) design verification targeting SoC designs.
- Formal verification of high-level designs (RTL or higher).
- Verification techniques are discussed with associated system-level design methodology.

This book focuses on control units, which are a vital part of modern digital systems, and responsible for the efficiency of controlled systems. The model of a finite state machine (FSM) is often used to represent the behavior of a control unit. As a rule, control units have irregular structures that make it impossible to design their logic circuits using the standard library cells. Design methods depend strongly on such factors as the FSM used, specific features of the logic elements implemented in the FSM logic circuit, and the characteristics of the control algorithm to be interpreted. This book discusses Moore and Mealy FSMs implemented with FPGA chips, including look-up table elements (LUT) and embedded memory blocks (EMB). It is crucial to minimize the number of LUTs and EMBs in an FSM logic circuit, as well as to make the interconnections between the logic elements more regular, and various methods of structural decompositions can be used to solve this problem. These methods are reduced to the presentation of an FSM circuit as a composition of different logic blocks, the majority of which implement systems of intermediate logic functions different (and much simpler) than input memory functions and FSM output functions. The structural decomposition results in multilevel FSM circuits having fewer logic elements than equivalent single-level circuits. The book describes well-known methods of structural decomposition and proposes new ones, examining their impact on the final amount of hardware in an FSM circuit. It is of interest to students and postgraduates in the area of Computer Science, as well as experts involved in designing digital systems with complex control units. The proposed models and design methods open new possibilities for creating logic circuits of control units with an optimal amount of hardware and regular interconnections.

Fundamentals of Nonlinear Digital Filtering is the first book of its kind, presenting and evaluating current methods and applications in nonlinear digital filtering. Written for professors, researchers, and application engineers, as well as for serious students of signal processing, this is the only book available that functions as both a reference handbook and a textbook. Solid introductory material, balanced coverage of theoretical and practical aspects, and dozens of examples provide you with a self-contained, comprehensive information source on nonlinear filtering and its applications.

This textbook is based on 20 years of teaching a graduate-level course in random processes to a constituency extending beyond signal processing, communications, control, and networking, and including in particular circuits, RF and optics graduate students. In order to accommodate today's circuits students' needs to understand noise modeling, while covering classical material on Brownian motion, Poisson processes, and power spectral densities, the author has inserted discussions of thermal noise, shot noise, quantization noise and oscillator phase noise. At the same time, techniques used to analyze modulated communications and radar signals, such as the baseband representation of bandpass random signals, or the computation of power spectral densities of a wide variety of modulated signals, are presented. This book also emphasizes modeling skills, primarily through the inclusion of long problems at the end of each chapter, where starting from a description of the operation of a system, a model is constructed and then analyzed. Provides semester-length coverage of random processes, applicable to the analysis of electrical and computer engineering systems; Designed to be accessible to students with varying backgrounds in undergraduate mathematics and engineering; Includes solved examples throughout the discussion, as well as extensive problem sets at the end of every chapter; Develops and reinforces student's modeling skills, with inclusion of modeling problems in every chapter; Solutions for instructors included.

This book describes the efficient implementation of public-key cryptography (PKC) to address the security challenges of massive amounts of information generated by the vast network of connected devices, ranging from tiny Radio Frequency Identification (RFID) tags to powerful desktop computers. It investigates implementation aspects of post quantum PKC and homomorphic encryption schemes whose security is based on the hardness of the ring-learning with error (LWE) problem. The work includes designing an FPGA-based accelerator to speed up computation on encrypted data in the cloud computer. It also proposes a more practical scheme that uses a special module called recryption box to assist homomorphic function evaluation, roughly 20 times faster than the implementation without this module.

This book provides a comprehensive study of the research outcomes on memristor emulator circuits and includes various analog applications as examples. The authors describe in detail how to design different types of memristor emulators, using active and passive components for different applications. Most of the emulator circuits presented in this book are new and are the outcomes of the authors' recent research. Coverage also includes the latest technological advances in memristor and memristor emulators. Readers will benefit from an understanding of the fundamental concepts and potential applications related to memristors, since these emulator circuits can be built in the laboratory using inexpensive, off-the-shelf circuit components. Introduces readers to memristor emulator circuit design, using regular off-the-shelf circuit components; Describes analog applications of memristors that can be verified by the proposed emulator circuits; Includes a brief overview of the updated mathematical models of the memristor device, with different material implementations; Equips readers to understand the three fingerprints of memristors, which make them unique, compared to the three known, passive elements (resistor, inductor and capacitor).

This book explores key techniques and methods in electromagnetic compatibility management, analysis, design, improvement and test verification for spacecraft. The first part introduces the general EMC technology of spacecraft, the electromagnetic interference control method and management of electromagnetic compatibility. The second part discusses the EMC prediction analysis technique and its application in spacecraft, while the third presents the EMC design of spacecraft modules and typical equipment. The final two parts address spacecraft magnetic design testing technologies and spacecraft testing technologies. The book also covers the program control test process, the special power control unit (PCU), electric propulsion, PIM test and multipaction testing for spacecraft, making it a valuable resource for researchers and engineers alike.

This book brings together papers presented at the International Conference on Artificial Intelligence in China (ChinaAI) 2019, which provided a venue for disseminating the latest advances and discussing the interactions and links between the various subfields of AI. Addressing topics that cover virtually all aspects of AI and the latest developments in China, the book is chiefly intended for undergraduate and graduate students in Electrical Engineering, Computer Science, and Mathematics, for researchers and engineers from academia and industry, and for government employees (e.g. at the NSF, DOD, and DOE).

This book highlights numerical models as powerful tools for the optimal design of Micro-Electro-Mechanical Systems (MEMS). Most MEMS experts have a background in electronics, where circuit models or behavioral models (i.e. lumped-parameter models) of devices are preferred to field models. This is certainly convenient in terms of preliminary design, e.g. in the prototyping stage. However, design optimization should also take into account fine-sizing effects on device behavior and therefore be based on distributed-parameter models, such as finite-element models. The book shows how the combination of automated optimal design and field-based models can produce powerful design toolboxes for MEMS. It especially focuses on illustrating theoretical concepts with practical examples, fostering comprehension through a problem-solving approach. By comparing the results obtained using different methods, readers will learn to identify their respective strengths and weaknesses. In addition, special emphasis is given to evolutionary computing and nature-inspired optimization strategies, the effectiveness of which has already been amply demonstrated. Given its scope, the book provides PhD students, researchers and professionals in the area of computer-aided analysis with a comprehensive, yet concise and practice-oriented guide to MEMS design and optimization. To benefit most from the book, readers should have a basic grasp of electromagnetism, vector analysis and numerical methods.

The updated edition of this book provides comprehensive coverage of fundamental semiconductor physics. This subject is essential to an understanding of the physical and operational principles of a wide variety of semiconductor electronic and optoelectronic devices. It has been revised to reflect advances in semiconductor technologies over the past decade, including many new semiconductor devices that have emerged and entered into the marketplace.

This thesis develops a pioneering methodology and a concept for identifying critical loads and load model parameters in large power networks based on their influence on power system stability. The research described in the thesis first develops an automatic load modelling tool (ALMT) that can be used to automatically build load model from actual measured power system data without human intervention and the benefits of the ALMY are explored. Secondly, it develops a pioneering framework based on Morris screening method for ranking power system load model parameters based on their influence on overall power system stability (voltage, frequency, transient and small disturbance stability) considering different load models and loading conditions. Thirdly, a novel probabilistic methodology for determining the accuracy levels of critical load model parameters has been developed. This book will be of interest to students and researchers within the field of electrical engineering, as well as industry professionals.

This book describes the development and design of a unique combined data and power management infrastructure for small satellites. This new edition became necessary because in the frame of the system's impressive evolution from an academic prototype to one of today's most advanced core avionics, many elements were upgraded to their next technology generation and diverse new components complement the upgraded design. All elements are presented in updated respectively new chapters. This modular infrastructure was selected by the Swiss start-up ClearSpace SA for ESA's first mission ClearSpace-1 to remove space debris. Furthermore it is the baseline for the Thai national satellite development program and is used by an increasing number of universities worldwide for research studies.

This book describes systematically wireless power transfer technology using magnetic resonant coupling and electric resonant coupling and presents the latest theoretical and phenomenological approaches to its practical implementation, operation and its applications. It also discusses the difference between electromagnetic induction and magnetic resonant coupling, the characteristics of various types of resonant circuit topologies and the unique features of magnetic resonant coupling methods. Designed to be self-contained, this richly illustrated book is a valuable resource for a broad readership, from researchers to engineers and anyone interested in cutting-edge technologies in wireless power transfer.

This book describes a set of SystemC-based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of Electronic Design Automation (EDA) at the Electronic System Level (ESL). The methodologies discussed enable readers to tackle easily key tasks and applications in the design process.

This book evaluates the influence of process variations (e.g. work-function fluctuations) and radiation-induced soft errors in a set of logic cells using FinFET technology, considering the 7nm technological node as a case study. Moreover, for accurate soft error estimation, the authors adopt a radiation event generator tool (MUSCA SEP3), which deals both with layout features and electrical properties of devices. The authors also explore four circuit-level techniques (e.g. transistor reordering, decoupling cells, Schmitt Trigger, and sleep transistor) as alternatives to attenuate the unwanted effects on FinFET logic cells. This book also evaluates the mitigation tendency when different levels of process variation, transistor sizing, and radiation particle characteristics are applied in the design. An overall comparison of all methods addressed by this work is provided allowing to trace a trade-off between the reliability gains and the design penalties of each approach regarding the area, performance, power consumption, single event transient (SET) pulse width, and SET cross-section.

This book provides a comprehensive treatment of CMOS circuits for passive wireless microsystems. Major topics include: an overview of passive wireless microsystems, design challenges of passive wireless microsystems, fundamental issues of ultra-low power wireless communications, radio-frequency power harvesting, ultra-low power modulators and demodulators, ultra-low power temperature-compensated current and voltage references, clock generation and remote calibration, and advanced design techniques for ultra low-power analog signal processing.

This textbook is designed for graduate-level courses, and for self-study, in analog and sampled-data, including switched-capacitor, circuit theory and design for ongoing, or active electrical engineers, needing to become proficient in analog circuit design on a system, rather than on a device, level. After decades of experience in industry and teaching this material in academic settings, the author has extracted many of the most important and useful features of analog circuit theory and design and presented them in a manner that is easy to digest and utilize. The methodology and analysis techniques presented can be applied to areas well beyond those specifically addressed in this book. This book is meant to enable readers to gain a 'general knowledge' of one aspect of analog engineering (e.g., that of network theory, filter design, system theory and sampled-data signal processing). The presentation is self-contained and should be accessible to anyone with a first degree in electrical engineering.