Sequential Equivalence Checking by Symbolic Simulation.

Published in: FMCAD (2000)

Keyphrases

symbolic representation
simulation environment
data sets
databases
data mining
e learning
search algorithm
medical images
simulation study
numerical simulations
simulation model
sequential search