Functional Design Errors in Digital Circuits

Part I. Background and Prior Art

1. Introduction
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

2. Current Landscape in Design and Verification
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

3. Finding Bugs and Repairing Circuits
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

Part II. FogClear Methodologies and Theoretical Advances in Error Repair

4. Circuit Design and Verification Methodologies
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

5. Counterexample-Guided Error-Repair Framework
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

6. Signature-Based Resynthesis Techniques
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

7. Symmetry-Based Rewiring
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

Part III. FogClear Components

8. Bug Trace Minimization
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

9. Functional Error Diagnosis and Correction
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

10. Incremental Verification for Physical Synthesis
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

11. Post-Silicon Debugging and Layout Repair
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

12. Methodologies for Spare-Cell Insertion
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

13. Conclusions
Kai-hui Chang, Igor L. Markov, Valeria Bertacco

Keywords: TECHNOLOGY & ENGINEERING / General TEC000000