Diagnose compound scan chain and system logic defects.
Yu HuangWu-Tung ChengRuifeng GuoWill HsuYuan-Shih ChenAlbert MannPublished in: ITC (2007)
Keyphrases
- logic programming
- scan data
- information systems
- automated reasoning
- classical logic
- artificial intelligence
- fault diagnosis
- digital circuits
- defect detection
- model based diagnosis
- delay insensitive
- asynchronous circuits
- deontic logic
- predicate logic
- set theory
- neural network
- modal logic
- knowledge representation
- multi agent
- search engine
- genetic algorithm