C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Debugging VHDL designs using model-based reasoning.
Franz Wotawa
Published in:
Artif. Intell. Eng. (2000)
Keyphrases
</>
model based reasoning
model based diagnosis
fault localization
dynamic systems
diagnostic knowledge
constraint programming
hardware designs
diagnostic systems
scientific visualization
database
model checking
cooperative
probability distribution
database management systems
hardware implementation