Resynthesis of multi-level circuits under tight constraints using symbolic optimization.
Victor N. KravetsKarem A. SakallahPublished in: ICCAD (2002)
Keyphrases
- constrained optimization
- lower bound
- optimization algorithm
- np hard optimization problems
- upper bound
- optimization problems
- global optimization
- discrete optimization
- optimization process
- optimization method
- constraint satisfaction
- high level
- constraint programming
- nonlinear programming
- optimization criteria
- database
- high speed
- global constraints
- optimization model
- linear constraints
- circuit design
- search space