Functional Design Errors in Digital Circuits : Diagnosis Correction and Repair - Chang, Kai-hui.; Markov, Igor L.; Bertacco, Valeria; SpringerLink (Online service) (Dordrecht : Springer Netherlands : Imprint: Springer, 2009)
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.
Keywords: Electronic circuits; Computer-aided engineering; Logic design; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Logic Design