Fault Scanner for Reconfigurable Logic.
Nathan ShnidmanWilliam H. Mangione-SmithMiodrag PotkonjakPublished in: ARVLSI (1997)
Keyphrases
- fault diagnosis
- low cost
- modal logic
- fault detection
- classical logic
- logic programming
- reconfigurable architecture
- automated reasoning
- computational properties
- image processing
- general purpose
- fault models
- sound and complete axiomatization
- artificial intelligence
- asynchronous circuits
- deontic logic
- predicate logic
- logical framework
- transmission line
- fuzzy logic