Accurate timing analysis using SAT and pattern-dependent delay models.

Desta Tadesse D. Sheffield E. Lenge R. Iris Bahar Joel Grodstein

Published in: DATE (2007)

Keyphrases

accurate models
model selection
statistical models
genetic algorithm
probabilistic model
pattern matching
sat solvers
autoregressive
web services
search algorithm
prior knowledge
quality of service
process model
search strategies
mathematical models