Enhancing coverage based verification using probability distribution