Experimental Studies on SAT-Based ATPG for Gate Delay Faults.
Stephan EggersglüßDaniel TilleGörschwin FeyRolf DrechslerAndreas GlowatzFriedrich HapkeJürgen SchlöffelPublished in: ISMVL (2007)
Keyphrases
- experimental study
- fault detection
- fault diagnosis
- bounded model checking
- answer set programming
- sat solvers
- experimental evaluation
- model based diagnosis
- constraint solver
- domain specific
- multiple faults
- version space
- ai planning
- test cases
- global exponential stability
- search algorithm
- sat encodings
- support vector
- neural network