Automation and Optimization of Coverage-driven Verification.
Marcela SimkováZdenek KotásekPublished in: DSD (2015)
Keyphrases
- data driven
- constrained optimization
- genetic algorithm
- optimization algorithm
- model checking
- discrete optimization
- optimization problems
- optimization method
- global optimization
- verification method
- joint optimization
- formal verification
- signature verification
- evolution strategy
- sensor networks
- lower bound
- learning algorithm