The exact solution of timing verification.
Edgar BolenderHans Martin LippPublished in: EURO-DAC (1992)
Keyphrases
- exact solution
- asynchronous circuits
- column generation
- lower bound
- exact algorithms
- numerical solution
- orthogonal projection
- optimal solution
- model checking
- approximate solutions
- face verification
- signature verification
- np hard
- constraint programming
- genetic algorithm
- multi objective
- search space
- search algorithm
- reinforcement learning