A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification.
Husam Abu-HaimedDavid L. DillSergey BerezinPublished in: FMCAD (2006)
Keyphrases
- significant improvement
- objective function
- high accuracy
- computational cost
- high precision
- detection method
- computer systems
- experimental evaluation
- cost function
- probabilistic model
- pairwise
- support vector machine svm
- preprocessing
- dynamic programming
- data sets
- low cost
- feature set
- classification method
- image processing