An improved layout verification algorithm (LAVA).
Magdy S. AbadirJack FergusonPublished in: EURO-DAC (1990)
Keyphrases
- learning algorithm
- high accuracy
- computational cost
- optimization algorithm
- computationally efficient
- particle swarm optimization
- cost function
- experimental evaluation
- estimation algorithm
- theoretical analysis
- times faster
- np hard
- significant improvement
- model checking
- objective function
- k means
- expectation maximization
- preprocessing
- detection algorithm
- clustering method
- memory requirements
- experimental study
- selection algorithm
- simulated annealing
- data sets
- probabilistic model
- similarity measure
- dynamic programming
- search algorithm
- optimal solution