Deductive Diagnosis of Digital Circuits.
José Júlio AlferesFrancisco AzevedoPedro BarahonaCarlos Viegas DamásioTerrance SwiftPublished in: AIAI (2004)
Keyphrases
- digital circuits
- model based diagnosis
- model based reasoning
- diagnostic reasoning
- data flow
- dynamic systems
- evolvable hardware
- circuit design
- fault diagnosis
- object oriented
- constraint programming
- database
- functional decomposition
- clinically relevant
- functional programs
- abductive inference
- fault detection
- decision diagrams
- xml documents
- evolutionary algorithm
- database systems
- neural network