Challenges in using system-level models for RTL verification.

Published in: DAC (2008)

Keyphrases

real world
probabilistic model
statistical models
neural network
web services
genetic algorithm
feature selection
decision making
decision trees
experimental data
model checking
computational models
open issues