Functional design errors in digital circuits : diagnosis, correction and repair / Kai-hui Chang, Igor L. Markov, Valeria Bertacco.
"Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Ebook |
| Language: | English |
| Published: |
[Dordrecht?] :
Springer,
c2009.
|
| Series: | Lecture notes in electrical engineering ;
v. 32. |
| Subjects: | |
| Online Access: | Springer eBooks |
Table of Contents:
- Background and Prior Art:
- Introduction
- 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.