Coverage driven verification to yield high quality design