Metric driven Framework for Processor Verification

Processor verification is a time consuming task and with processor complexity increasing by the day, managing the complete verification process successfully has become a major challenge. Besides, a small bug in the final product may ruin all the efforts and could prove as a critical setback. This problem has resulted in verification methodologies, like formal verification, gaining considerable importance over the years. Yet, integration of formal verification with existing methodologies like simulation and other verification modules is still not very clearly established and remains vendor specific. Then there are other issues that make the whole process very complex. This paper looks into the various aspects of verification methodologies presenting key ideas. We present a framework that can enhance verification process along with metrics will serve to increase overall efficiency.