1. A method of verifying a circuit design, comprising: performing phase abstraction on the circuit design to generate a phase abstracted circuit design; generating a phase-abstracted trace of the circuit design; automatically removing effects of phase abstraction from the phase-abstracted trace to generate an un-phase-abstracted trace of the circuit design; and verifying the circuit design based on the un-phase-abstracted trace of the circuit design.