Equivalence Checking between SLM and TLM Using Coverage Directed Simulation.

Jian Hu Tun Li Sikun Li

Published in: CAD/Graphics (2013)

Keyphrases

numerical simulations
simulation models
database
neural network
simulation model
simulation environment
discrete event simulation
computer vision
three dimensional
reinforcement learning
digital libraries
special case
high fidelity