A SAT-based diagnosis pattern generation method for timing faults in scan chains.
Da WangLunkai ZhangWeizhi XuDongrui FanFei WangPublished in: ISCAS (2012)
Keyphrases
- generation method
- fault diagnosis
- model based diagnosis
- fault detection
- multiple faults
- fault detection and diagnosis
- fault model
- fault detection and isolation
- pattern matching
- fault identification
- root cause
- answer set programming
- medical diagnosis
- bounded model checking
- neural network
- model based reasoning
- sat solvers
- pattern discovery
- model checking
- fault isolation
- fault models
- discrete event
- fault localization
- scan data
- source code
- expert systems
- support vector
- answer sets