This book describes the analysis and design of precision temperature sensors in CMOS IC technology. It focusses on so-called smart temperature sensors, which provide a digital output signal that can be readily interpreted by a computer. The sensors described in this book are based on bipolar transistors, which are available as parasitic devices in standard CMOS technology. The relevant physical properties of these devices are described. It is shown in detail how their temperature characteristics can be used to obtain an accurate digital temperature reading. A sigma-delta converter plays a key role in the conversion to a digital output. Both the system-level design of such a converter, and the circuit-level implementation using both continuous-time and switched-capacitor techniques are described. Special attention is paid to the application of precision interfacing techniques, such as dynamic offset cancellation and dynamic element matching. A separate chapter is devoted to low-cost calibration techniques. Precision Temperature Sensors in CMOS Technology ends with a detailed description of three realized prototypes. The final prototype achieves an inaccuracy of only A0.1AC (3Sigma) over the temperature range of a "55AC to 125AC, which is the highest performance reported to date.

Through Silicon Via (TSV) is a key technology for realizing three-dimensional integrated circuits (3D ICs) for future high-performance and low-power systems with small form factors. This book covers both qualitative and quantitative approaches to give insights of modeling TSV in a various viewpoints such as signal integrity, power integrity and thermal integrity. Most of the analysis in this book includes simulations, numerical modelings and measurements for verification. The author and co-authors in each chapter have studied deep intoTSV for many years and the accumulated technical know-hows and tips for related subjects are comprehensively covered."

This book provides readers with a variety of algorithms and software tools, dedicated to the physical design of through-silicon-via (TSV) based, three-dimensional integrated circuits. It describes numerous "manufacturing-ready" GDSII-level layouts of TSV-based 3D ICs developed with the tools covered in the book. This book will also feature sign-off level analysis of timing, power, signal integrity, and thermal analysis for 3D IC designs. Full details of the related algorithms will be provided so that the readers will be able not only to grasp the core mechanics of the physical design tools, but also to be able to reproduce and improve upon the results themselves. This book will also offer various design-for-manufacturability (DFM), design-for-reliability (DFR), and design-for-testability (DFT) techniques that are considered critical to the physical design process.

Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact of worsening degradation effects has to be considered in the design of adiabatic circuits. The impact of the technology trends on the figures of merit of adiabatic logic, energy saving potential and optimum operating frequency, are investigated, as well as degradation related issues. Adiabatic logic benefits from future devices, is not susceptible to Hot Carrier Injection, and shows less impact of Bias Temperature Instability than static CMOS circuits. Major interest also lies on the efficient generation of the applied power-clock signal. This oscillating power supply can be used to save energy in short idle times by disconnecting circuits. An efficient way to generate the power-clock is by means of the synchronous 2N2P LC oscillator, which is also robust with respect to pattern-induced capacitive variations. An easy to implement but powerful power-clock gating supplement is proposed by gating the synchronization signals. Diverse implementations to shut down the system are presented and rated for their applicability and other aspects like energy reduction capability and data retention. Advantageous usage of adiabatic logic requires compact and efficient arithmetic structures. A broad variety of adder structures and a Coordinate Rotation Digital Computer are compared and rated according to energy consumption and area usage, and the resulting energy saving potential against static CMOS proves the ultra-low-power capability of adiabatic logic. In the end, a new circuit topology has to compete with static CMOS also in productivity. On a 130nm test chip, a large scale test vehicle containing an FIR filter was implemented in adiabatic logic, utilizing a standard, library-based design flow, fabricated, measured and compared to simulations of a static CMOS counterpart, with measured saving factors compliant to the values gained by simulation. This leads to the conclusion that adiabatic logic is ready for productive design due to compatibility not only to CMOS technology, but also to electronic design automation (EDA) tools developed for static CMOS system design.

This book presents models and procedures to design pipeline analog-to-digital converters, compensating for device inaccuracies, so that high-performance specs can be met within short design cycles. These models are capable of capturing and predicting the behavior of pipeline data converters within less than half-a-bit deviation, versus transistor-level simulations. As a result, far fewer model iterations are required across the design cycle. Models described in this book accurately predict transient behaviors, which are key to the performance of discrete-time systems and hence to the performance of pipeline data converters.

In recent years, III-V devices, integrated circuits, and superconducting integrated circuits have emerged as leading contenders for high-frequency and ultrahigh speed applications. GaAs MESFETs have been applied in microwave systems as low-noise and high-power amplifiers since the early 1970s, replacing silicon devices. The heterojunction high-electron-mobility transistor (HEMT), invented in 1980, has become a key component for satellite broadcasting receiver systems, serving as the ultra-low-noise device at 12 GHz. Furthermore, the heterojunction bipolar transistor (HBT) has been considered as having the highest switching speed and cutoff frequency in the semiconductor device field. Initially most of these devices were used for analog high-frequency applications, but there is also a strong need to develop high-speed III-V digital devices for computer, telecom munication, and instrumentation systems, to replace silicon high-speed devices, because of the switching-speed and power-dissipation limitations of silicon. The potential high speed and low power dissipation of digital integrated circuits using GaAs MESFET, HEMT, HBT, and superconducting Josephson junction devices has evoked tremendous competition in the race to develop such technology. A technology review shows that Japanese research institutes and companies have taken the lead in the development of these devices, and some integrated circuits have already been applied to supercomputers in Japan. The activities of Japanese research institutes and companies in the III-V and superconducting device fields have been superior for three reasons. First, bulk crystal growth, epitaxial growth, process, and design technology were developed at the same time."

In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the incidence of failure. For instance, in order design reliable inte gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process. Of equal importance in producing reliable computers is the detection of failures in its Very Large Scale Integrated (VLSI) circuit components, caused by errors in the design specification, implementation, or manufacturing processes. Design verification involves the checking of the specification of a design for correctness prior to carrying out an implementation. Implementation verification ensures that the manual design or automatic synthesis process is correct, i.e., the mask-level description correctly implements the specification. Manufacture test involves the checking of the complex fabrication process for correctness, i.e., ensuring that there are no manufacturing defects in the integrated circuit. It should be noted that all the above verification mechanisms deal not only with verifying the functionality of the integrated circuit but also its performance."

Predictive Technology Model for Robust Nanoelectronic Design" explains many of the technical mysteries behind the Predictive Technology Model (PTM) that has been adopted worldwide in explorative design research. Through physical derivation and technology extrapolation, PTM is the de-factor device model used in electronic design. This work explains the systematic model development and provides a guide to robust design practice in the presence of variability and reliability issues. Having interacted with multiple leading semiconductor companies and university research teams, the author brings a state-of-the-art perspective on technology scaling to this work and shares insights gained in the practices of device modeling.

Emphasizes IC design concepts with additional support for discrete design where necessary. Describes noise sources and models; addresses practical problems of circuit design for low noise using negative feedback, filtering, component noise, measurement techniques and instrumentation; gives numerous examples of practical amplifier designs. Five chapters cover the use of SPICE and PSpice for low noise analysis and design.

This book focuses on increasing the energy-efficiency of electronic devices so that portable applications can have a longer stand-alone time on the same battery. The authors explain the energy-efficiency benefits that ultra-low-voltage circuits provide and provide answers to tackle the challenges which ultra-low-voltage operation poses. An innovative design methodology is presented, verified, and validated by four prototypes in advanced CMOS technologies. These prototypes are shown to achieve high energy-efficiency through their successful functionality at ultra-low supply voltages.

This course-based text revisits classic concepts in nonlinear circuit theory from a very much introductory point of view: the presentation is completely self-contained and does not assume any prior knowledge of circuit theory. It is simply assumed that readers have taken a first-year undergraduate course in differential and integral calculus, along with an elementary physics course in classical mechanics and electrodynamics. Further, it discusses topics not typically found in standard textbooks, such as nonlinear operational amplifier circuits, nonlinear chaotic circuits and memristor networks. Each chapter includes a set of illustrative and worked examples, along with end-of-chapter exercises and lab exercises using the QUCS open-source circuit simulator. Solutions and other material are provided on the YouTube channel created for this book by the authors.

This textbook is written for junior/senior undergraduate and first-year graduate students in the electrical and computer engineering departments.

Using PSoC mixed-signal array design, the authors define the characteristics of embedd design, embedded mixed-signal architectures, and top-down design. Optimized implementations of these designs are included to illustrate the theory. Exercises are provided at the end of each chapter for practice. Topics covered include the hardware and software used to implement analog and digital interfaces, various filter structures, amplifiers and other signal-conditioning circuits, pulse-width modulators, timers, and data structures for handling multiple similar peripheral devices.

The practical exercises contained in the companion laboratory manual, which was co-authored by Cypress Staff Applications Engineer Dave Van Ess, are also based on PSoC. PSoC's integrated microcontroller, highly configurable analog/digital peripherals, and a full set of development tools make it an ideal learning tool for developing mixed-signal embedded design skills.

3. 2 Input Encoding Targeting Two-Level Logic . . . . . . . . 27 3. 2. 1 One-Hot Coding and Multiple-Valued Minimization 28 3. 2. 2 Input Constraints and Face Embedding 30 3. 3 Satisfying Encoding Constraints . . . . . . . 32 3. 3. 1 Definitions . . . . . . . . . . . . . . . 32 3. 3. 2 Column-Based Constraint Satisfaction 33 3. 3. 3 Row-Based Constraint Satisfaction . . 37 3. 3. 4 Constraint Satisfaction Using Dichotomies . 38 3. 3. 5 Simulated Annealing for Constraint Satisfaction 41 3. 4 Input Encoding Targeting Multilevel Logic. . 43 3. 4. 1 Kernels and Kernel Intersections . . . 44 3. 4. 2 Kernels and Multiple-Valued Variables 46 3. 4. 3 Multiple-Valued Factorization. . . . . 48 3. 4. 4 Size Estimation in Algebraic Decomposition . 53 3. 4. 5 The Encoding Step . 54 3. 5 Conclusion . . . . . . . . . 55 4 Encoding of Symbolic Outputs 57 4. 1 Heuristic Output Encoding Targeting Two-Level Logic. 59 4. 1. 1 Dominance Relations. . . . . . . . . . . . . . . . 59 4. 1. 2 Output Encoding by the Derivation of Dominance Relations . . . . . . . . . . . . . . . . . . . . . 60 . . 4. 1. 3 Heuristics to Minimize the Number of Encoding Bits . . . . . . . . . . . . 64 4. 1. 4 Disjunctive Relationships . . . . . . . . . . . 65 4. 1. 5 Summary . . . . . . . . . . . . . . . . . . 66 . . 4. 2 Exact Output Encoding Targeting Two-Level Logic. 66 4. 2. 1 Generation of Generalized Prime Implicants . 68 4. 2. 2 Selecting a Minimum Encodeable Cover . . . 68 4. 2. 3 Dominance and Disjunctive Relationships to S- isfy Constraints . . . . . . . . . . . 70 4. 2. 4 Constructing the Optimized Cover 73 4. 2. 5 Correctness of the Procedure . . 73 4. 2. 6 Multiple Symbolic Outputs . . .

This book describes a circuit architecture for converting real analog signals into a digital format, suitable for digital signal processors. This architecture, referred to as multi-stage noise-shaping (MASH) Continuous-Time Sigma-Delta Modulators (CT- M), has the potential to provide better digital data quality and achieve better data rate conversion with lower power consumption. The authors not only cover MASH continuous-time sigma delta modulator fundamentals, but also provide a literature review that will allow students, professors, and professionals to catch up on the latest developments in related technology.

Current books on low voltage analog design typically cover techniques for supply voltages down to approximately 1V. This book presents novel ideas and results for operation from much lower supply voltages and the techniques presented are basic circuit techniques that are widely applicable beyond the scope of the presented examples. Analog Circuit Design Techniques at 0.5V is written for analog circuit designers and researchers as well as graduate students studying semiconductors and integrated circuit design.

Logic design of digital devices is a very important part of the Computer Science. It deals with design and testing of logic circuits for both data-path and control unit of a digital system. Design methods depend strongly on logic elements using for implementation of logic circuits. Different programmable logic devices are wide used for implementation of logic circuits. Nowadays, we witness the rapid growth of new and new chips, but there is a strong lack of new design methods.

This book includes a variety of design and test methods targeted on different digital devices. It covers methods of digital system design, the development of theoretical base for construction and designing of the PLD-based devices, application of UML for digital design. A considerable part of the book is devoted to design methods oriented on implementing control units using FPGA and CPLD chips. Such important issues as design of reliable FSMs, automatic design of concurrent logic controllers, the models and methods for creating infrastructure IP services for the SoCs are also presented.

The editors of the book hope that it will be interesting and useful for experts in Computer Science and Electronics, as well as for students, who are viewed as designers of future digital devices and systems.

Today's booming expanse of personal wireless radio communications is a rich source of new challenges for the designer of the underlying enabling te- nologies. Personal communication networks are designed from a fundam- tally different perspective than broadcast service networks, such as radio and television. While the focus of the latter is on reliability and user comfort, the emphasis of personal communication devices is on throughput and mobility. However, because the wireless channel is a shared transmission medium with only very limited resources, a trade-off has to be made between mobility and the number of simultaneous users in a con?ned geographical area. Accord- 1 ing to Shannon's theorem on channel capacity, the overall data throughput of a communication channel bene?ts from either a linear increase of the tra- mission bandwidth, or an (equivalent) exponential increase in signal quality. Consequently, it is more bene?cial to think in terms of channel bandwidth than it is to pursue a high transmission power. All the above elements are embodied in the concept of spatial ef?ciency. By describing the throughput of a system 2 in terms of bits/s/Hz/m , spatial ef?ciency takes into account that the use of a low transmission power reduces the operational range of a radio transmission, and as such enables a higher reuse rate of the same frequency spectrum.

Many dynamical systems in physics, chemistry and biology exhibit complex be haviour. The apparently random motion of a fluid is the best known example. How ever also vibrating structures, electronic oscillators, magnetic devices, lasers, chemical oscillators, and population kinetics can behave in a complicated manner. One can find irregular oscillations, which is now known as chaotic behaviour. The research field of nonlinear dynamical systems and especially the study of chaotic systems has been hailed as one of the important breaktroughs in science this century. The sim plest realization of a system with chaotic behaviour is an electronic oscillator. The purpose of this book is to provide a comprehensive introduction to the application of chaos theory to electronic systems. The book provides both the theoretical and experimental foundations of this research field. Each electronic circuit is described in detail together with its mathematical model. Controlling chaos of electronic oscilla tors is also included. End of proofs and examples are indicated by . Inside examples the end of proofs are indicated with O. We wish to express our gratitude to Catharine Thompson for a critical reading of the manuscript. Any useful suggestions and comments are welcome. Email address of the first author: MVANWYK@TSAMAIL. TRSA. AC. ZA Email address of the first author: WHS@RAU3. RAU. AC. ZA Home page of the authors: http: //zeus. rau. ac. za/steeb/steeb. html xi Chapter 1 Introduction 1."

Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well. Graphical presentation is coming to be a de facto requirement for a friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating systems represented by automata. The last two papers as a pair, present a variety of generic techniques for reducing the computational cost of computer-aided verification based upon explicit computational memory: the first of the two gives a time-space trade-off, while the second gives a technique which trades space for a (sometimes predictable) probability of error. Computer-Aided Verification is an edited volume of original research. This research work has also been published as a special issue of the journal Formal Methods in System Design, 1:2-3.

A major advantage of a direct digital synthesizer is that its output frequency, phase and amplitude can be precisely and rapidly manipulated under digital processor control. This book was written to find possible applications for radio communication systems.

Improving the performance of the power amplifier is the most pressing problem facing designers of modern radio-frequency (RF) transceivers. Linearity and power efficiency of the transmit path are of utmost importance, and the power amplifier has proven to be the bottleneck for both. High linearity enables transmission at the highest data rates for a given channel bandwidth, and power efficiency prolongs battery lifetime in portable units and reduces heat dissipation in high-power transmitters. Cartesian feedback is a power amplifier linearization technique that acts to soften the tradeoff between power efficiency and linearity in power amplifiers. Despite its compelling, fundamental advantages, the technique has not enjoyed widespread acceptance because of certain implementation difficulties.
Feedback Linearization of RF Power Amplifiers introduces new techniques for overcoming the challenges faced by the designer of a Cartesian feedback system. The theory of the new techniques are described and analyzed in detail. The book culminates with the results of the first known fully integrated Cartesian feedback power amplifier system, whose design was enabled by the techniques described.
Feedback Linearization of RF Power Amplifiers is a valuable reference work for engineers in the telecommunications industry, industry researchers, academic researchers.

This work is aimed at practitioners wishing to gain a broader systems-based perspective of phase-locked loops; and is also suitable as a graduate text for engineering students. It provides detailed coverage of digital sampling effects in modern phase-locked frequency synthesizers from a systems perspective, and discusses all aspects of phase noise, its mathematical modelling and its impact upon different digital communication systems. Sections on building blocks for frequency synthesis using phase-locked loops, frequency synthesis using sampled-data control systems, and MASCET, are included.

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.

Silicon-On-Insulator (SOI) CMOS technology has been regarded as another major technology for VLSI in addition to bulk CMOS technology. Owing to the buried oxide structure, SOI technology offers superior CMOS devices with higher speed, high density, and reduced second order effects for deep-submicron low-voltage, low-power VLSI circuits applications. In addition to VLSI applications, and because of its outstanding properties, SOI technology has been used to realize communication circuits, microwave devices, BICMOS devices, and even fiber optics applications. CMOS VLSI Engineering: Silicon-On-Insulator addresses three key factors in engineering SOI CMOS VLSI - processing technology, device modelling, and circuit designs are all covered with their mutual interactions. Starting from the SOI CMOS processing technology and the SOI CMOS digital and analog circuits, behaviors of the SOI CMOS devices are presented, followed by a CAD program, ST-SPICE, which incorporates models for deep-submicron fully-depleted mesa-isolated SOI CMOS devices and special purpose SOI devices including polysilicon TFTs. CMOS VLSI Engineering: Silicon-On-Insulator is written for undergraduate senior students and first-year graduate students interested in CMOS VLSI. It will also be suitable for electrical engineering professionals interested in microelectronics.