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

Martin Keim Nicole Drechsler Bernd Becker

Published in: ASP-DAC (1999)

Keyphrases

high quality
significant improvement
real time
data sets
database
preprocessing
machine learning methods
qualitative and quantitative
neural network
genetic algorithm
image processing
ground truth
benchmark datasets