Leveraging Specman for Verification