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
• Language: English
• Published: Dordrecht : Springer Netherlands, 2009.
• Series: Lecture Notes in Electrical Engineering, 32
• Subjects: Engineering.; Logic design.; Computer aided design.; Systems engineering.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.; Logic Design.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4020-9365-4

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:

• Dedication. List of Figures. List of Tables. Preface
• Part I Background and Prior Art. 1. Introduction. 2. Current Landscape in Design and Verification. 3. Finding Bugs and Repairing Circuits
• Part II FogClearMethodologies and Theoretical Advances in Error Repair. 4. Circuit Design and Verification Methodologies. 5. Counterexample-Guided Error-Repair Framework. 6. Signature-Based Resynthesis Techniques. 7. Symmetry-Based Rewiring
• Part III FogClear Components. 8. Bug Trace Minimization. 9. Functional Error Diagnosis and Correction. 10. Incremental Verification for Physical Synthesis. 11. Post-Silicon Debugging and Layout Repair. 12. Methodologies for Spare-Cell Insertion. 13. Conclusions
• Index. References.