Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic.
Michael TheobaldSteven M. NowickTao WuPublished in: DAC (1996)
Keyphrases
- high frequency
- cost function
- classical logic
- modal logic
- sufficient conditions
- optimal solution
- logic programming
- dynamic programming
- penalty function
- multiresolution
- search algorithm
- risk assessment
- evolutionary algorithm
- active contours
- tabu search
- feature vectors
- constraint satisfaction
- neural network
- asynchronous circuits