Novel Verification Method for Timing Optimization Based on DPSO.
Chuandong ChenRongshan WeiShaohao WangWei HuPublished in: VLSI Design (2018)
Keyphrases
- verification method
- particle swarm optimization
- discrete particle swarm optimization
- global optimization
- model checking
- optimization methods
- temporal logic
- optimization algorithm
- optimization problems
- success ratio
- particle swarm optimization algorithm
- traveling salesman problem
- pso algorithm
- optimization method
- differential evolution
- multi objective
- real time
- evolutionary algorithm
- neural network