Automatic constraint generation for guided random simulation ASP-DAC 2010 2010 作者：Hu-Hsi Yeh, Chung-Yang Huang
