A Dyadic Transformation Based Methodology to Achieve Coverage Driven Verification Goal