Verification Reuse for a Non-Transaction Based Design across Multiple Platforms