A Probabilistic Method for the Computation of Testability of RTL Constructs.
José M. FernandesMarcelino B. SantosArlindo L. OliveiraJoão Paulo TeixeiraPublished in: DATE (2004)
Keyphrases
- high precision
- high accuracy
- multiscale
- detection method
- clustering method
- preprocessing
- prior knowledge
- main contribution
- computational cost
- fully automatic
- experimental evaluation
- dynamic programming
- significant improvement
- image processing
- support vector machine
- detection algorithm
- computational complexity
- objective function
- synthetic data
- data sets