Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /

• Main Authors: Chang, Kai-hui (Author), Markov, Igor L. (Author), Bertacco, Valeria (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2009.
• Series: Lecture Notes in Electrical Engineering, 32
• Subjects: Engineering.; Logic design.; Computer-aided engineering.; Electronic circuits.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.; Logic Design.

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

Table of Contents:

• Background and Prior Art
• Current Landscape in Design and Verification
• Finding Bugs and Repairing Circuits
• FogClear Methodologies and Theoretical Advances in Error Repair
• Circuit Design and Verification Methodologies
• Counterexample-Guided Error-Repair Framework
• Signature-Based Resynthesis Techniques
• Symmetry-Based Rewiring
• FogClear Components
• Bug Trace Minimization
• Functional Error Diagnosis and Correction
• Incremental Verification for Physical Synthesis
• Post-Silicon Debugging and Layout Repair
• Methodologies for Spare-Cell Insertion
• Conclusions.