Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits (0)

by M Keim, N Drechsler, R Drechsler, B Becker
Venue:Journal of Electronic Testing - Theory and Applications