Synergies to Enable a Designer-Driven Assertion-Based Verification Methodology