Page 5
Page 5
Creating Assertion-Based Verification IP
The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the user’s existing verification environment, in other words the testbench infrastructure.
Continuous-Time Sigma-Delta A/D Conversion : Fundamentals, Performance Limits and Robust Implementations
This comprehensive book deals with all relevant aspects arising during the analysis, design and simulation of the now widespread continuous-time implementations of sigma-delta modulators. The results of several years of research by the authors in the field of CT sigma-delta modulators are covered, including the analysis and modeling of different CT modulator architectures, CT/DT loop filter synthesis, a detailed error analysis of all components, and possible compensation/correction schemes for the non-ideal behavior in CT sigma-delta modulators. Guidance for obtaining low-power consumption and several practical implementations are also presented. It is shown that all the proposed new theories, architectures and possible correction techniques have been confirmed by measurements on discrete or integrated circuits. Quantitative results are also provided, thus enabling prediction of the resulting accuracy.
Computational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic equation (DAE) model of the system. The model is complex enough to include Load Tap-Changing transformers as well as HVDC models. The dynamic model of the generating unit includes the exciter since it plays a crucial role in voltage stability. A promising decoupled dynamic simulation technique is introduced for time domain analysis. Computational Techniques for Voltage Stability Assessment and Control provides the computational tools and algorithms needed for development of on-line voltage security assessment
Computational Electronic Circuits : Simulation and Analysis with MATLAB®
This textbook teaches in one, coherent presentation the three distinct topics of analysis of electronic circuits, mathematical numerical algorithms and coding in a software such as MATLAB®. By combining the capabilities of circuit simulators and mathematical software, the author teaches key concepts of circuit analysis and algorithms, using a modern approach. The DC, Transient, AC, Noise and behavioral analyses are implemented in MATLAB to study the complete characteristics of a variety of electronic circuits, such as amplifiers, rectifiers, hysteresis circuits, harmonic traps and passes, polyphaser filters, directional couplers, electro-static discharge and piezoelectric crystals. This book teaches basic and advanced circuit analysis, by incorporating algorithms and simulations that teach readers how to develop their own simulators and fully characterize and design electronic circuits.
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies : Process-Aware SRAM Design and Test
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies covers a broad range of topics related to SRAM design and test. From SRAM operation basics through cell electrical and physical design to process-aware and economical approach to SRAM testing.
CMOS single chip fast frequency hopping synthesizers for Wireless multi-gigahertz applications : Design methodology, analysis, and implementation
Describes an efficient design and characterization methodology that has been developed to study loop trade-offs in both open and close loop modelling techniques. This is based on a simulation platform that incorporates both behavioral models and measured/simulated sub-blocks of the chosen frequency synthesizer. The platform predicts accurately the phase noise, spurious and switching performance of the final design. Therefore excellent phase noise and spurious performance can be achieved while meeting all the specified requirements. The design methodology reduces the need for silicon re-spin enabling circuit designers to directly meet cost, performance and schedule milestones. The developed knowledge and techniques have been used in the successful design and implementation of two high speed multi-mode fractional-N frequency synthesizers for the IEEE 801.11a/b/g standards. Both synthesizer designs are described in details.
CMOS Multi-Channel Single-Chip Receivers for Multi-Gigabit Optical Data Communications
Focuses on optical communications for short and very short distance applications and discusses the monolithic integration of optical receivers with processing elements in standard CMOS technologies. CMOS Multi-Channel Single-Chip Receivers for Multi-Gigabit Optical Data Communications provides the reader with the necessary background knowledge to fully understand the trade-offs in short-distance communication receiver design and presents the key issues to be addressed in the development of such receivers in CMOS technologies. Moreover, novel design approaches are presented. A system-level design methodology allows for the impact analysis of different block specifications and system-wide design optimization. Statistical models are used for design space exploration in the scope of jitter tolerance analysis of clock recovery circuits.
CMOS Current-Mode Circuits for Data Communications
Addresses the analysis and design principles of CMOS current mode circuits and their applications for data communications. The analytical methods and design principles are based on the characteristics of MOS devices applied to current CMOS technologies. Major topics include: design techniques for current mode circuits, electrical signaling for high speed data links, current-mode transmitters and receivers, switching noise and grounding of mixed mode circuits, a comparison of voltage-mode with current-mode circuits, ESD protection, and additional related topics. Examples are given of CMOS technologies from leading semiconductor companies and analyzed using the latest computer-aided design tools by leading design companies. CMOS Current-Mode Circuits for Data Communications is a valuable reference for circuit design engineers and hardware system engineers.
CMOS Cascade Sigma-Delta Modulators for Sensors and Telecom : Error Analysis and Practical Design
CMOS Cascade Sigma-Delta Modulators for Sensors and Telecom: Error Analysis and Practical Design starts with a tutorial presentation of the fundamentals of low-pass sigma-delta modulators, their applications, and their most common architectures. It then presents an exhaustive analysis of SC circuit errors with a twofold outcome. On the one hand, compact expressions are derived to support design plans and quick top-down design. On the other, detailed behavioral models are presented to support accurate verification. This set of models allows the designer to determine the required specifications for the different modulator building blocks and form the basis of a systematic design approach. The book is completed in subsequent chapters with the detailed presentation of three high-performance modulator ICs: the first two are intended for DSL-like applications, whereas the third one is intended for automotive sensors.
CMOS Biotechnology
"CMOS Biotechnology reviews the recent research and developments joining CMOS technology with biology. Written by leading researchers these chapters delve into four areas including: Microfluidics for electrical engineers / CMOS Actuators CMOS Electrical Sensors CMOS Optical Sensors Bioanalytical instruments have been miniaturized on ICs to study various biophenomena or to actuate biosystems. These bio-lab-on-IC systems utilize the IC to facilitate faster, repeatable, and standardized biological experiments at low cost with a small volume of biological sample. CMOS Biotechnology will interest electrical engineers, bioengineers, biophysicists as well as researchers in MEMS, bioMEMS, microelectronics, microfluidics, and circuits and systems."
Closing the POWER gap between ASIC & custom : Tools and techniques for low power design
Details design tools and techniques for realizing low power and energy efficiency in a highly productive design methodology.Important topics include: - Microarchitectural techniques to reduce energy per operation / - Power reduction with timing slack from pipelining / - Analysis of the benefits of using multiple supply and threshold voltages / - Placement techniques for multiple supply voltages - Verification for multiple voltage domains / - Improved algorithms for gate sizing, and assignment of supply and threshold voltages / - Power gating design automation to reduce leakage / - Relationships among statistical timing, power analysis, and parametric yield optimization / Design examples illustrate that these techniques can improve energy efficiency by two to three times.
Manipulating Quantum Coherence in Solid State Systems
Presents a fundamental introduction to three solid-state approaches to achieving quantum computation: semiconductor spin-based, semiconductor charge-based, and superconducting approaches.
Low Power VCO Design in CMOS
The performance of voltage controlled oscillators (VCO) is of extreme importance for any telecommunication or data communication system. This practical guide develops a systematic, fully-integrated LC-VCO design for low power and low phase noise, especially useful to meet the demands on mobile devices such as cell phones. The proposed VCO design approaches are experimentally verified with several fully integrated CMOS VCOs. The concise presentation is offered in three parts (VCO design; CMOS devices for VCO design; and fully-integrated CMOS DESIGNS) and supplemented by an appendix summarizing the state of the art.
Linear Systems
Linear systems theory plays a broad and fundamental role in electrical, mechanical, chemical and aerospace engineering, communications, and signal processing. A thorough introduction to systems theory with emphasis on control is presented in this self-contained textbook. The book examines the fundamental properties that govern the behavior of systems by developing their mathematical descriptions. Linear time-invariant, time-varying, continuous-time, and discrete-time systems are covered. Rigorous development of classic and contemporary topics in linear systems, as well as extensive coverage of stability and polynomial matrix/fractional representation, provide the necessary foundation for further study of systems and control.
Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design.
Circuit and Interconnect Design for RF and High Bit-Rate Applications
Circuit and Interconnect Design for RF and High Bit-rate Applications covers each of these topics from theory to practice, with sufficient detail to help you produce circuits that are ‘first-time right’. A thorough analysis of the interplay between on-chip circuits and interconnects is presented.
CCD Image Sensors in Deep-Ultraviolet : Degradation Behavior and Damage Mechanisms
As the deep-ultraviolet (DUV) laser technology continues to mature, an increasing number of industrial and manufacturing applications are emerging. For example, the new generation of semiconductor inspection systems is being pushed to image at increasingly shorter DUV wavelengths to facilitate inspection of deep sub-micron features in integrated circuits. DUV-sensitive charge-coupled device (CCD) cameras are in demand for these applications. Although CCD cameras that are responsive at DUV wavelengths are now available, their long-term stability is still a major concern. This book describes the degradation mechanisms and long-term performance of CCDs in the DUV, along with new results of device performance at these wavelengths.
Calibration Techniques in Nyquist A/D Converters
It is shown that in order to achieve high speed and high accuracy at high power efficiency, calibration is required. Calibration reduces the overall power consumption by using the available digital processing capability to relax the demands on critical power hungry analog components. Several calibration techniques are analyzed. The calibration techniques presented in this book are applicable to other analog-to-digital systems, such as those applied in integrated receivers. Further refinements will allow using analog components with less accuracy, which will then be compensated by digital signal processing. The presented methods allow implementing this without introducing a speed or power penalty.
Building ASIPs : The Mescal Methodology
A number of system designers use ASIP's rather than ASIC's to implement their system solutions. This book gives a comprehensive methodology for the design of these application-specific instruction processors (ASIPs). It includes demonstrations of applications of the methodologies using the Tipi research framework.
Broadband Opto-Electrical Receivers in Standard CMOS
Broadband Opto-Electrical Receivers in Standard CMOS starts from the basic fundamentals, necessary for the design of opto-electronic interface circuits. The book continues with an in-depth analysis of the photodiode, transimpedance amplifier (TIA) and limiting amplifier (LA). To thoroughly understand the light detection mechanisms in silicon, first a one-dimensional and second a two-dimensional model is developed. Analytical design equations are derived to guide the design of the amplifying circuits. For the TIA, the focus lies on the sensitivity-speed trade-off. For the LA, a high gain-bandwidth is pursued. Several practical design examples reveal the subtleties and challenges encountered during the design of high-performance analog circuits.
