Coverage Driven Distribution of Constrained Random Stimuli Author(s): Marat Teplitsky, Amit Metodi, and Raz Azaria Download