Symbolic Simulation as a Simplifying Strategy for SoC Verification.

Emil Dumitrescu Dominique Borrione

Published in: IWSOC (2003)

Keyphrases

simulation model
high level
symbolic representation
genetic algorithm
multi agent systems
selection strategy
simulation environment
high fidelity
real time
learning algorithm
decision making
image processing
database systems
artificial neural networks
low power
discrete event simulation