Logic decomposition algorithms for the timing optimization of multi-level logic.
Pierre G. PaulinFranck J. PoirotPublished in: ICCD (1989)
Keyphrases
- optimization problems
- orders of magnitude
- benchmark datasets
- discrete optimization
- combinatorial optimization
- efficient optimization
- data structure
- times faster
- asynchronous circuits
- stochastic search
- theoretical analysis
- modal logic
- worst case
- computational cost
- computational complexity
- classical logic
- predicate logic
- optimization method
- convex optimization problems
- multi valued
- optimization procedure
- constrained optimization
- genetic algorithm
- logic programming
- significant improvement
- knowledge base
- learning algorithm