CRAVE: An advanced constrained random verification environment for SystemC.

Finn Haedicke Hoang Minh Le Daniel Große Rolf Drechsler

Published in: ISSoC (2012)

Keyphrases

real time
complex environments
model checking
indoor environments
database
data sets
knowledge base
objective function
mobile robot
virtual world