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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.