Electronic Books

Total Books: 1 - 20 /173

A Practical Guide for SystemVerilog Assertions

SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...

A Roadmap for Formal Property Verification

This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...

Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

Ad-Hoc Networking Towards Seamless Communications

Ad-Hoc Networking Towards Seamless Communications is dedicated to an area that attracts growing interest in academia and ...

Adaptive Filtering : Algorithms and Practical Implementation

The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It ...

Adaptive Low-Power Circuits for Wireless Communications

Adaptive radio transceivers require a comprehensive theoretical framework in order to optimize their performance. Adaptive ...

Adaptive Multi-Standard RF Front-Ends

Adaptive Multi-Standard RF Front-Ends investigates solutions, benefits, limitations and costs related to multi-standard operation ...

Adaptive Techniques for Mixed Signal System on Chip

Adaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed ...

Advanced BDD Optimization

This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization ...

Advances and Innovations in Systems, Computing Sciences and Software Engineering

Advances and Innovations in Systems, Computing Sciences and Software Engineering is a collection of world class paper articles ...

Advances in Ad Hoc and Sensor Networks

This volume provides a complete survey of the state-of-the-art research that encompasses all areas of ad hoc and sensor networks. These ...

Advances in Control, Communication Networks, and Transportation Systems

This volume presented at the Symposium on Systems, Control, and Networks.The chapters include recent results and surveys ...

Advances in Design and Specification Languages for SoCs

Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal ...

Advances in Electronic Testing

The book is a comprehensive elaboration on important topics which capture major research and development efforts today. The ...

An Interactive Multimedia Introduction to Signal Processing

A didactic concept is undertaken for microelectronics, computer technology and communication engineering, which deals with ...

Analog Circuit Design

Analog Circuit Design contains the contribution of 18 tutorials of the 14th workshop on Advances in Analog Circuit Design. ...

Analog Circuit Design

This book is number 15 in this successful series of Analog Circuit Design, providing valuable information and excellent overviews ...

Analog Circuit Design : Sensors, Actuators and Power Drivers; Integrated Power Amplifiers from Wireline to RF; Very High Frequency Front Ends

This book is part of the Analog Circuit Design series and contains the revised contributions of all speakers of the 16th ...

Analog Design Centering and Sizing

This book represents a compendium of fundamental problem formulations of analog design centering and sizing. It provides ...

Analog Design Essentials

The book starts with elementary stages in building up operational amplifiers. The synthesis of opamps is covered in great ...

Total Books: 1 - 20 /173