Formal Hardware Verification


Book Description

This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.







Logical Effort


Book Description

Designers of high-speed integrated circuits face a bewildering array of choices and too often spend frustrating days tweaking gates to meet speed targets. Logical Effort: Designing Fast CMOS Circuits makes high speed design easier and more methodical, providing a simple and broadly applicable method for estimating the delay resulting from factors such as topology, capacitance, and gate sizes. The brainchild of circuit and computer graphics pioneers Ivan Sutherland and Bob Sproull, "logical effort" will change the way you approach design challenges. This book begins by equipping you with a sound understanding of the method's essential procedures and concepts-so you can start using it immediately. Later chapters explore the theory and finer points of the method and detail its specialized applications. Features Explains the method and how to apply it in two practically focused chapters. Improves circuit design intuition by teaching simple ways to discern the consequences of topology and gate size decisions. Offers easy ways to choose the fastest circuit from among an array of potential circuit designs. Reduces the time spent on tweaking and simulations-so you can rapidly settle on a good design. Offers in-depth coverage of specialized areas of application for logical effort: skewed or unbalanced gates, other circuit families (including pseudo-NMOS and domino), wide structures such as decoders, and irregularly forking circuits. Presents a complete derivation of the method-so you see how and why it works.




Circuit Design and Analysis


Book Description










Designing Audio Power Amplifiers


Book Description

This comprehensive book on audio power amplifier design will appeal to members of the professional audio engineering community as well as the student and enthusiast. Designing Audio Power Amplifiersbegins with power amplifier design basics that a novice can understand and moves all the way through to in-depth design techniques for very sophisticated audiophiles and professional audio power amplifiers. This book is the single best source of knowledge for anyone who wishes to design audio power amplifiers. It also provides a detailed introduction to nearly all aspects of analog circuit design, making it an effective educational text. Develop and hone your audio amplifier design skills with in-depth coverage of these and other topics: Basic and advanced audio power amplifier design Low-noise amplifier design Static and dynamic crossover distortion demystified Understanding negative feedback and the controversy surrounding it Advanced NFB compensation techniques, including TPC and TMC Sophisticated DC servo design MOSFET power amplifiers and error correction Audio measurements and instrumentation Overlooked sources of distortion SPICE simulation for audio amplifiers, including a tutorial on LTspice SPICE transistor modeling, including the VDMOS model for power MOSFETs Thermal design and the use of ThermalTrak(tm) transistors Four chapters on class D amplifiers, including measurement techniques Professional power amplifiers Switch-mode power supplies (SMPS). design Static and dynamic crossover distortion demystified Understanding negative feedback and the controversy surrounding it Advanced NFB compensation techniques, including TPC and TMC Sophisticated DC servo design MOSFET power amplifiers and error correction Audio measurements and instrumentation Overlooked sources of distortion SPICE simulation for audio amplifiers, including a tutorial on LTspice SPICE transistor modeling, including the VDMOS model for power MOSFETs Thermal design and the use of ThermalTrak(tm) transistors Four chapters on class D amplifiers, including measurement techniques Professional power amplifiers Switch-mode power supplies (SMPS). the use of ThermalTrak(tm) transistors Four chapters on class D amplifiers, including measurement techniques Professional power amplifiers Switch-mode power supplies (SMPS).




Self-Checking and Fault-Tolerant Digital Design


Book Description

With VLSI chip transistors getting smaller and smaller, today's digital systems are more complex than ever before. This increased complexity leads to more cross-talk, noise, and other sources of transient errors during normal operation. Traditional off-line testing strategies cannot guarantee detection of these transient faults. And with critical applications relying on faster, more powerful chips, fault-tolerant, self-checking mechanisms must be built in to assure reliable operation. Self-Checking and Fault-Tolerant Digital Design deals extensively with self-checking design techniques and is the only book that emphasizes major techniques for hardware fault tolerance. Graduate students in VLSI design courses as well as practicing designers will appreciate this balanced treatment of the concepts and theory underlying fault tolerance along with the practical techniques used to create fault-tolerant systems. Features: Introduces reliability theory and the importance of maintainability Presents coding and the construction of several error detecting and correcting codes Discusses in depth, the available techniques for fail-safe design of combinational circuits Details checker design techniques for detecting erroneous bits and encoding output of self-checking circuits Demonstrates how to design self-checking sequential circuits, including a technique for fail-safe state machine design




Formal Methods in Circuit Design


Book Description

Graduate level account of hardware verification and algebraic specification.




Logic Design for Array-Based Circuits


Book Description

This book will show you how to approach the design covering everything from the circuit specification to the final design acceptance, including what support you can expect, sizing, timing analysis, power and packaging, various simulations, design verification, and design submission.