An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists.
Jason BaumgartnerTamir HeymanVigyan SinghalAdnan AzizPublished in: Formal Methods Syst. Des. (2003)
Keyphrases
- experimental evaluation
- theoretical analysis
- learning algorithm
- classification algorithm
- computationally efficient
- times faster
- optimal solution
- preprocessing
- cost function
- optimization algorithm
- computational cost
- segmentation algorithm
- similarity measure
- high accuracy
- expectation maximization
- objective function
- k means
- detection algorithm
- face recognition
- simulated annealing
- convergence rate
- data sets
- dynamic programming
- significant improvement
- improved algorithm
- estimation algorithm
- particle swarm optimization
- worst case
- least squares
- probabilistic model