An implication-based method to detect multi-cycle paths in large sequential circuits.
Hiroyuki HiguchiPublished in: DAC (2002)
Keyphrases
- detection method
- synthetic data
- experimental evaluation
- similarity measure
- detection algorithm
- optimization algorithm
- computationally efficient
- edge detection
- support vector machine
- medical images
- support vector machine svm
- dynamic programming
- feature space
- objective function
- neural network
- classification method
- high precision
- optimization method