Automatic constraint generation for guided random simulation.

Hu-Hsi Yeh, Chung-Yang Huang

Browse the full ASPDAC paper archive.