Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach
Bernhard PeischlFranz WotawaPublished in: CoRR (2003)
Keyphrases
- model based diagnosis
- hardware designs
- fault localization
- model based reasoning
- discrete event systems
- dynamic systems
- physical systems
- digital circuits
- repair actions
- consistency based diagnosis
- constraint programming
- model checking
- diagnostic reasoning
- software systems
- computer systems
- program slicing
- failure diagnosis
- software development
- qualitative models
- diagnostic process
- fault models
- knowledge base