Login / Signup

A new approach to built-in self-testable datapath synthesis based on integer linear programming.

Han Bin KimDong Sam HaTakeshi TakahashiTakahiro J. Yamaguchi
Published in: IEEE Trans. Very Large Scale Integr. Syst. (2000)
Keyphrases
  • integer linear programming
  • bicriteria
  • column generation
  • global constraints
  • linear inequalities
  • symmetry breaking
  • boolean satisfiability
  • constraint programming
  • cutting plane
  • pseudo boolean
  • boolean optimization