Minimizing Test Time in Arithmetic Test-Pattern Generators With Constrained Memory Resources. - Salvador Manich; Lucas Garcia-Deiros; Joan Figueras (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)