Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes.

Mehran Goli Rolf Drechsler

Published in: DSD (2019)

Keyphrases

virtual environment
virtual reality
web scale
model checking
highly scalable
augmented reality
concurrent systems
virtual world
evolutionary algorithm
artificial neural networks
neural network
databases
data sets
memory efficient
formal verification
high security
real time