Verification Simulation Acceleration Using Code-Perturbation.

Byeong Min Gwan Choi

Published in: J. Electron. Test. (2000)

Keyphrases

verification method
mathematical model
simulation model
source code
model checking
simulation models
code generation
data sets
machine learning
image sequences
reinforcement learning
data structure
artificial neural networks