Signature Based Diagnosis for Logic BIST.
Wu-Tung ChengManish SharmaThomas RinderknechtLiyang LaiChris HillPublished in: ITC (2006)
Keyphrases
- built in self test
- medical diagnosis
- fault models
- causal reasoning
- anomaly detection
- classical logic
- automated reasoning
- model based diagnosis
- modal logic
- logic programming
- intrusion detection
- logical framework
- predicate logic
- diagnostic reasoning
- asynchronous circuits
- fault detection
- fault diagnosis
- multiple faults
- clinically relevant
- formal theory
- integrated circuit
- malicious executables
- document image retrieval
- breast cancer diagnosis
- network traffic
- set theory
- defeasible logic
- computational properties
- expressive power
- horn clauses