Combining Simulation with Formal Techniques to Reduce the Overall Verification Cycle