Automatic constraint generation for guided random simulation Venue ASP-DAC Year 2010 Authors: Hu-Hsi Yeh, Chung-Yang Huang
