Application of Mixed Integer Linear Programming in the Generation of Vectors with Maximum Datapath Coverage for Combinational Logic Circuits.
Javier SosaJuan A. Montiel-NelsonJose Carlos Garcia-MontesdeocaSaeid NooshabadiPublished in: J. Circuits Syst. Comput. (2010)