Virtual Protyping (VP) is the proven methodology for early software development and architectural exploration. To verify the correctness of modeled IP, different levels of verifications are adopted. One favored, less…