Model-based diagnosis of hardware designs

• 31 July 1999
• journal article
• Published by Elsevier in Artificial Intelligence
• Vol. 111  (1-2) , 3-39
• https://doi.org/10.1016/s0004-3702(99)00034-x

Abstract

Keywords

• DIAGNOSIS
• MODEL-BASED REASONING
• DEBUGGING