Kategoria BISAC: Technology & Engineering >> Electronics - Circuits - General

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...

The chapters are devoted to in-depth treatments of stops, pupils and ports;...

On any advanced integrated circuit or "system-on-chip" there is a need for security. In many applications the actual implementation has become the weakest link in security rather than the algorithms or protocols. The purpose of the book is to give the integrated circuits and systems designer an insight into the basics of security and cryptography from the implementation point of view. As a designer of integrated circuits and systems it is important to know both the state-of-the-art attacks as well as the countermeasures. Optimizing for security is different from optimizations for speed,...

Digital Control of Electrical Drives offers insight into electric drives and their usage in motion control environment. It provides links among electrical machine and control theory, practical hardware aspects, programming issues, and application-specific problems. The book prepares the reader to understand the key elements of motion control systems, analyze and design discrete-time speed and position controllers, set adjustable feedback parameters, and evaluate closed-loop performances. Basic engineering principles are used to derive the controller structure in...

Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors.

SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for...