Verifying SystemC using stateful symbolic simulation.

Vladimir Herdt Hoang Minh Le Rolf Drechsler

Published in: DAC (2015)

Keyphrases

simulation model
simulation models
databases
artificial intelligence
simulation study
numerical simulations
discrete event simulation
real time
machine learning
genetic algorithm
image processing
decision trees
collision detection
neural learning