Common Reusable Verification Environment for BCA and RTL Models

Giuseppe Falconeri Walid Naifer Nizar Romdhane

Published in: CoRR (2007)

Keyphrases

real time
machine learning
databases
complex systems
information retrieval
prior knowledge
mobile robot
model selection
dynamic environments
model checking
information systems
statistical model
neural network model
autoregressive