Design verification based on functional abstraction.

Sany M. Leinwand T. Lamdan

Published in: DAC (1979)

Keyphrases

decision trees
functional verification
case study
databases
high level
user interface
machine learning
genetic algorithm
artificial intelligence
knowledge base
computer aided
engineering design
design methodology
design tools
optimal design