[PDF][PDF] Constraint integer programming
T Achterberg - 2007 - depositonce.tu-berlin.de
This thesis introduces the novel paradigm of" constraint integer programming"(CIP), which
integrates constraint programming (CP) and mixed integer programming (MIP) modeling …
integrates constraint programming (CP) and mixed integer programming (MIP) modeling …
A normalization method for arithmetic data-path verification
M Wedler, D Stoffel, R Brinkmann… - IEEE Transactions on …, 2007 - ieeexplore.ieee.org
We propose a normalization technique for verifying arithmetic circuits in a bounded model-
checking environment. Our technique operates on the arithmetic bit-level (ABL) description …
checking environment. Our technique operates on the arithmetic bit-level (ABL) description …
[PDF][PDF] Property checking with constraint integer programming
T Achterberg, R Brinkmann, M Wedler - 2007 - opus4.kobv.de
We address the property checking problem for SoC design verification at the register transfer
level (RTL) by integrating techniques from integer programming, constraint programming …
level (RTL) by integrating techniques from integer programming, constraint programming …
Efficient smt solving for hardware model checking
H Kim - 2010 - search.proquest.com
Abstract The Satisfiability Modulo Theories (SMT) problem is a decision problem for the
satisfiability of first-order formulas with background theories. In the last few years, decision …
satisfiability of first-order formulas with background theories. In the last few years, decision …