10+ years of experience of Digital verification using constrained random verification CRV and coverage driven verification approaches CDV .