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

Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker. Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. J. Electronic Testing, 17(1):37-51, 2001. [doi]

Abstract

Abstract is missing.