Application of Mixed Integer Linear Programming in the Generation of Vectors with Maximum Datapath Coverage for Combinational Logic Circuits

Javier Sosa, Juan A. Montiel-Nelson, Jose Carlos Garcia-Montesdeoca, Saeid Nooshabadi. Application of Mixed Integer Linear Programming in the Generation of Vectors with Maximum Datapath Coverage for Combinational Logic Circuits. Journal of Circuits, Systems, and Computers, 19(7):1497-1516, 2010. [doi]

Abstract

Abstract is missing.