RTL-Datapath Verification using Integer Linear Programming.
Raik BrinkmannRolf DrechslerPublished in: VLSI Design (2002)
Keyphrases
- integer linear programming
- bicriteria
- column generation
- linear inequalities
- boolean satisfiability
- global constraints
- model checking
- pseudo boolean
- cutting plane
- boolean optimization
- perfect phylogeny
- np hard
- symmetry breaking
- branch and bound
- particle swarm optimization
- linear programming
- optimization problems
- cost function