Layout-based Logic Decomposition for Timing Optimization.
Yun-Yin LianYoun-Long LinPublished in: ASP-DAC (1999)
Keyphrases
- asynchronous circuits
- global optimization
- optimization algorithm
- optimization process
- modal logic
- optimization problems
- optimization method
- computational properties
- evolution strategy
- optimization model
- constrained optimization
- optimization methods
- logic programming
- multi objective
- database
- minimize a cost function
- proof theory
- logical framework
- artificial intelligence
- genetic algorithm
- real time