Workshop Report: Methods of Verification in Design Automation.

Published in: Computer (1976)

Keyphrases

preprocessing
database
expert systems
computational cost
databases
genetic algorithm
artificial intelligence
database systems
pattern recognition
significant improvement
empirical studies
benchmark datasets
computer assisted
design automation