Model generation of test logic for macrocell based designs.

Eduardo de la Torre J. Calvo Javier Uceda

Published in: EURO-DAC (1996)

Keyphrases

logic programming
data mining
statistical tests
database
information retrieval
genetic algorithm
evolutionary algorithm
test cases
statistical significance
design space
multi valued
predicate logic
formal theory