Kategoria BISAC: Technology & Engineering >> Electrical

As miniaturization, batch fabrication, and integrated electronics rapidly enable the development of a broad range of smart products, MEMs, MOEMS, and NEMS are creating enormous opportunities for commerce and functionality. This significant and uniquely comprehensive five-volume reference is a valuable source for research workers, practitioners, computer scientists, students, and technologists. The MEMS/NEMS HANDBOOK (Microelectromechanical Systems/Nanoelectromechanical Systems) covers all of the major topics within the subject including design methods, fabrication techniques, manufacturing...

Digital Signal Processing for Measurement Systems: Theory and Applications covers the theoretical as well as the practical issues which form the basis of the modern DSP-based instruments and measurement methods. It covers the basics of DSP theory before discussing the critical aspects of DSP unique to measurement science.

Key Features:

Approaches signal processing through a unique measurement science perspective

Covers both theory and state-of-the-art applications, from the sampling theorem to the design of FIR/IIR filters

Includes important...

Offers users the first resource guide that combines both the methodology and basics of SystemVerilog

Addresses how all these pieces fit together and how they should be used to verify complex chips rapidly and thoroughly.

Unique in its broad coverage of SystemVerilog, advanced functional verification, and the combination of the two.

Covers the statistical analysis and optimization issues arising due to increased process variations in current technologies.

Comprises a valuable reference for statistical analysis and optimization techniques in current and future VLSI design for CAD-Tool developers and for researchers interested in starting work in this very active area of research.

Written by author who lead much research in this area who provide novel ideas and approaches to handle the addressed issues

Enables the reader to test an analog circuit that is implemented either in bipolar or MOS technology.

Examines the testing and fault diagnosis of analog and analog part of mixed signal circuits.

Covers the testing and fault diagnosis of both bipolar and Metal Oxide Semiconductor (MOS) circuits and introduces .

Also contains problems that can be used as quiz or homework.

This unique book contains all topics of importance to the analog designer which are essential to obtain sufficient insights to do a thorough job. The book starts with elementary stages in building up operational amplifiers. The synthesis of opamps is covered in great detail. Many examples are included, operating at low supply voltages. Chapters on noise, distortion, filters, ADC/DACs and oscillators follow. These are all based on the extensive amount of teaching that the author has carried out world-wide.

The Analogue-to-digital converter (ADC) is the most pervasive block in electronic systems. With the advent of powerful digital signal processing and digital communication techniques, ADCs are fast becoming critical components for system s performance and flexibility. Knowing accurately all the parameters that characterise their dynamic behaviour is crucial, on one hand to select the most adequate ADC architecture and characteristics for each end application, and on the other hand, to understand how they affect performance bottlenecks in the signal processing chain.

Dynamic...

Constraint-Based Verification covers an emerging field in functional verification of electronic designs, referred to as the "constraint-based verification." The topics are developed in the context of a wide range of dynamic and static verification approaches including simulation, emulation, and formal methods. The goal is to show how constraints, or assertions, can be used towards automating the generation of testbenches, resulting in a seamless verification flow. Topics such as verification coverage, and connection with assertion based verification, are also covered.

The book...

SystemVerilog language consists of three categories of features -- Design, Assertions and Testbench. Assertions add a whole new dimension to the ASIC verification process. Engineers are used to writing testbenches in verilog that help verify their design. Verilog is a procedural language and is very limited in capabilities to handle the complex ASICs built today. SystemVerilog assertions (SVA) is a declarative language. The temporal nature of the language provides excellent control over time and allows mulitple processes to execute simultaneously. This provides the engineers a very strong...

Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance (SIHFT), i.e., how to deal with faults affecting the hardware by only (or mainly) acting on the software.

The first SIHFT techniques were proposed and adopted several decades ago, but they have been the object of new interest in the past few years, mainly due to the need for developing low-cost safety-critical computer-based applications in fields such as automotive, biomedics, and telecommunications. Therefore, several new approaches to detect, and when...

A one-of-a-kind survey of the field of Reconfigurable Computing

Gives a comprehensive introduction to a discipline that offers a 10X-100X acceleration of algorithms over microprocessors

Discusses the impact of reconfigurable hardware on a wide range of applications: signal and image processing, network security, bioinformatics, and supercomputing

Includes the history of the field as well as recent advances

Includes an extensive bibliography of primary sources

Optical and photonic systems and devices have significant potential for homeland security. "Optical Imaging Sensors and Systems for Homeland Security Applications" presents original and significant technical contributions from leaders of industry, government, and academia in the field of optical and photonic sensors, systems and devices for detection, identification, prevention, sensing, security, verification and anti-counterfeiting. The chapters have recent and technically significant results, ample illustrations, figures, and key references. This book is intended for engineers and...

Focuses on System Identification applications of the adaptive methods presented. but which can also be applied to other applications of adaptive nonlinear processes.

Covers recent research results in the area of adaptive nonlinear system identification from the authors and other researchers in the field.

Modern telecommunication systems are highly complex from an algorithmic point of view. The complexity continues to increase due to advanced modulation schemes, multiple protocols and standards, as well as additional functionality such as personal organizers or navigation aids.

To have short and reliable design cycles, efficient verification methods and tools are necessary. Modeling and simulation need to accompany the design steps from the specification to the overall system verification in order to bridge the gaps between system specification, system simulation, and circuit level...

This book covers control theory signal processing and relevant applications in a unified manner. It introduces the area, takes stock of advances, and describes open problems and challenges in order to advance the field. The editors and contributors to this book are pioneers in the area of active sensing and sensor management, and represent the diverse communities that are targeted.