Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware.
Zdenek VasícekLukás SekaninaPublished in: Genet. Program. Evolvable Mach. (2011)
Keyphrases
- evolutionary optimization
- formal verification
- candidate solutions
- evolvable hardware
- evolutionary algorithm
- genetic algorithm
- multi objective
- fitness function
- evolutionary computation
- genetic operators
- optimization problems
- evolution strategy
- model checking
- search space
- optimization process
- computationally expensive
- optimization algorithm
- bio inspired
- genetic programming
- digital circuits
- differential evolution
- simulated annealing
- optimization method
- black box
- particle swarm optimization
- genetic algorithm ga
- swarm intelligence
- objective function
- optimal solution
- solution space
- metaheuristic
- final result
- fault tolerant
- crossover operator
- mutation operator
- fuzzy modeling
- artificial intelligence
- formal specification
- fuzzy clustering
- rough sets
- parallel processing
- fuzzy logic
- partial solutions
- multi objective evolutionary algorithms
- artificial neural networks
- neural network
- machine learning