Automated Diagnosis for Digital Circuits.
Alessandra FanniAlessandro GiuaM. G. MancaPublished in: AIMSA (1988)
Keyphrases
- digital circuits
- model based diagnosis
- diagnostic reasoning
- model based reasoning
- semi automated
- data flow
- functional decomposition
- dynamic systems
- fully automated
- evolvable hardware
- finite state machines
- circuit design
- automatic diagnosis
- model checking
- fault diagnosis
- decision diagrams
- multiple faults
- medical diagnosis
- dynamic programming
- automated analysis
- constraint programming
- semi automatic
- hidden markov models
- special case