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