A new approach to the use of satisfiability in false path detection.
Felipe S. MarquesRenato P. RibasSachin S. SapatnekarAndré Inácio ReisPublished in: ACM Great Lakes Symposium on VLSI (2005)
Keyphrases
- false alarms
- false positives
- detection accuracy
- detection method
- detection scheme
- satisfiability problem
- automatic detection
- detection rate
- change detection
- shortest path
- detection algorithm
- np complete
- object detection
- lower bound
- model checking
- digital images
- knowledge representation
- computational complexity
- genetic algorithm