Abstract
In this chapter we review a number of representative algorithms for error diagnosis and correction. For error diagnosis, we discuss methods of locating the error sources in an incorrect combinational implementation using BDD techniques or logic simulation. For error correction, we illustrate the techniques of rectifying the circuit by re-synthesizing a number of signals, or by matching the erroneous behavior with a pre-defined error type, (e.g., a missing inverter). Finally, we describe a logic rectification approach using equivalence checking techniques and a heuristic called back-substitution.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Huang, SY., Cheng, KT. (1998). Introduction to Logic Debugging. In: Formal Equivalence Checking and Design Debugging. Frontiers in Electronic Testing, vol 12. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5693-0_8
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5693-0_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7606-4
Online ISBN: 978-1-4615-5693-0
eBook Packages: Springer Book Archive