Integer linear programming-based synthesis of skewed logic circuits.
Aiqun CaoNaran SirisantanaCheng-Kok KohKaushik RoyPublished in: ASP-DAC (2003)
Keyphrases
- integer linear programming
- logic circuits
- functional decomposition
- logic synthesis
- low power
- column generation
- tunnel diode
- power consumption
- gate array
- global constraints
- symmetry breaking
- boolean satisfiability
- cutting plane
- metaheuristic
- digital signal processing
- perfect phylogeny
- boolean functions
- boolean optimization