Automatic constraint generation for guided random simulation.

Hu-Hsi Yeh Chung-Yang Huang

Published in: ASP-DAC (2010)

Keyphrases

simulation model
analytical model
semi automatic
data driven
fully automatic
linear constraints
generation process
artificial intelligence
discrete event simulation