Efficient logic-level timing analysis using constraint-guided critical path search.

Chanhee Oh M. Ray Mercer

Published in: IEEE Trans. Very Large Scale Integr. Syst. (1996)

Keyphrases

critical path
efficient search
search algorithm
logic programming
search methods
search strategy
genetic algorithm
special case
wordnet
combinatorial optimization