Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32) - Image 1

£105.43

Springer Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)

Name: Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)
Brand: Springer
Price: 99.67 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 44 days • 44 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 44 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £99 (22 days, 50.0%)

Price range: £99 - £105

Price levels: 3 different prices over 44 days

Description

Product Description Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace minimization that simplify debugging; (2) an RTL error diagnosis method that identifies the root cause of errors directly; (3) a counterexample-guided error-repair framework to automatically fix errors in gate-level and RTL designs; (4) a symmetry-based rewiring technology for fixing electrical errors; (5) an incremental verification system for physical synthesis; and (6) an integrated framework for post-silicon debugging and layout repair. The solutions provided in this book can greatly reduce debugging effort, enhance design quality, and ultimately enable the design and manufacture of more reliable electronic devices. From the Back Cover Due to the dramatic increase in design complexity, modern circuits are often produced with functional errors. While improvements in verification allow engineers to find more errors, fixing these errors remains a manual and challenging task. Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace minimization that simplify debugging; (2) an RTL error diagnosis method that identifies the root cause of errors directly; (3) a counterexample-guided error-repair framework to automatically fix errors in gate-level and RTL designs; (4) a symmetry-based rewiring technology for fixing electrical errors; (5) an incremental verification system for physical synthesis; and (6) an integrated framework for post-silicon debugging and layout repair. In addition, Functional Design Errors in Digital Circuits Diagnosis describes a comprehensive evaluation of spare-cell insertion methods. The solutions provided in this book can greatly reduce debugging effort, enhance design quality, and ultimately enable the design and manufacture of more reliable electronic devices. About the Author Winner of the EDAA (European Design Automation Association) Outstanding Monograph Award in the Verification section. Co-authors Bertacco and Markov are existing Springer authors

Key Features

Used Book in Good Condition

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 1402093640
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 10 December 2008
Listed Since: 01 October 2008

Barcode

No barcode data available

Springer Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Knowledge-Driven Board-Level Functional Fault Diagnosis

Mitigating Process Variability and Soft Errors at Circuit-Level for FinFETs

Adaptive Digital Circuits for Power-Performance Range beyond Wide Voltage Scaling: From the Clock Path to the Data Path

System-level Techniques for Analog Performance Enhancement

Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)

Design Automation for Differential MOS Current-Mode Logic Circuits

Design Automation for Field-coupled Nanotechnologies

Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches

Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Counterfeit Integrated Circuits: Detection and Avoidance

Counterfeit Integrated Circuits: Detection and Avoidance

Springer Advanced Solutions in Diagnostics and Fault Tolerant Control

Digital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic Institute

Fault Diagnosis, Prognosis, and Reliability for Electrical Machines and Drives (IEEE Press)

Wiley Digital Logic Testing and Simulation - Engineering Book

Parasitic Substrate Coupling in High Voltage Integrated Circuits: Minority and Majority Carriers Propagation in Semiconductor Substrate (Analog Circuits and Signal Processing)

Next-Generation ADCs, High-Performance Power Management, and Technology Considerations for Advanced Integrated Circuits: Advances in Analog Circuit Design 2019

Model-Based Fault Diagnosis Techniques: Design Schemes, Algorithms and Tools (Advances in Industrial Control)

Generalized Low-Voltage Circuit Techniques for Very High-Speed Time-Interleaved Analog-to-Digital Converters (Analog Circuits and Signal Processing)

The Verilog Hardware Description Language

Digital Logic Design Using Verilog: Coding and RTL Synthesis

Microelectronics Manufacturing Diagnostics Handbook