Common Reusable Verification Environment for BCA and RTL Models.

Giuseppe Falconeri Walid Naifer Nizar Romdhane

Published in: DATE (2004)

Keyphrases

real time
experimental data
probabilistic model
neural network
multiscale
classification models
database
autonomous agents
statistical model
complex systems
dynamic environments
object oriented
mobile robot
prior knowledge
mobile devices
website
artificial intelligence
genetic algorithm