Sciweavers

ICCD
2003
IEEE

Independent Test Sequence Compaction through Integer Programming

14 years 16 days ago
Independent Test Sequence Compaction through Integer Programming
We discuss the compaction of independent test sequences for sequential circuits. Our first contribution is the formulation of this problem as an integer program, which we then solve through a well-known method employing linear programming relaxation and randomized rounding. The key contribution of this approach is that it yields the first polynomial time approximation algorithm for this problem. More specifically, it provides a provably good approximation guarantee while running in time polynomial with respect to the number of vectors in the original test sequences and the number of faults. Another virtue of our approach is that it provides a lower bound for the compacted set of test sequences and, therefore, a quality measure for the test compaction algorithm. Experimental results on benchmark circuits demonstrate that the proposed solution efficiently identifies nearly optimal sets of compacted test sequences.
Petros Drineas, Yiorgos Makris
Added 16 Mar 2010
Updated 16 Mar 2010
Type Conference
Year 2003
Where ICCD
Authors Petros Drineas, Yiorgos Makris
Comments (0)