A fast method for timing verification that uses the conditions that cause changes in the output values of gates.
Atsushi OhnishiYuji SugiyamaPublished in: Systems and Computers in Japan (2001)
Keyphrases
- experimental evaluation
- computational cost
- cost function
- high accuracy
- optimization method
- synthetic data
- error rate
- input data
- detection method
- similarity measure
- fully automatic
- dynamic programming
- support vector machine
- high precision
- support vector machine svm
- feature selection
- classification accuracy
- pairwise
- feature space
- image sequences