System Level Verification of Large Scale Computer.

T. Okabayashi K. Kubo Z. Hirose K. Suzuki

Published in: ICCD (1992)

Keyphrases

real world
levels of abstraction
higher level
neural network
information retrieval
feature selection
decision trees
multiscale
search algorithm