An Efficient Method for Using Transaction Level Assertions in a Class Based Verification Environment.
Naveen SudhishRaghavendra BRHarish YagainPublished in: ISED (2011)
Keyphrases
- high precision
- computationally efficient
- high accuracy
- synthetic data
- preprocessing
- pairwise
- detection method
- dynamic programming
- verification method
- database
- experimental evaluation
- objective function
- theoretical analysis
- clustering method
- classification method
- multi class classification
- support vector machine svm
- semi supervised
- dynamic environments
- support vector machine
- significant improvement
- computational complexity
- multiscale
- similarity measure
- data mining
- real time