A Dyadic Transformation Based Methodology To Achieve Coverage Driven Verification Goal