Utility of transaction-level hardware models in refinement checking.

Yogesh S. Mahajan Sharad Malik

Published in: HLDVT (2010)

Keyphrases

statistical model
database
low cost
probabilistic model
levels of abstraction
artificial neural networks
data sets
information retrieval
data streams
computer systems
model selection
utility function