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

• Κύριοι συγγραφείς: Chang, Kai-hui (Συγγραφέας), Markov, Igor L. (Συγγραφέας), Bertacco, Valeria (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2009.
• Σειρά: Lecture Notes in Electrical Engineering, 32
• Θέματα: 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...

Πίνακας περιεχομένων:

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