Bertacco, Valeria
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
Nyckelord: TECHNOLOGY & ENGINEERING / General TEC000000
- Författare
- Bertacco, Valeria
- Chang, Kai-hui
- Markov, Igor L.
- Utgivare
- Springer
- Utgivningsår
- 2009
- Språk
- en
- Utgåva
- 1
- Kategori
- Teknologi, energi, trafik
- Format
- E-bok
- eISBN (PDF)
- 9781402093654