Login / Signup
A new approach to built-in self-testable datapath synthesis based on integer linear programming.
Han Bin Kim
Dong Sam Ha
Takeshi Takahashi
Takahiro 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