1. A method of verifying a circuit design, comprising: receiving a clock tree for the circuit design; automatically coloring elements of the circuit design based on information obtained from the clock tree to generate a colored circuit design; performing phase abstraction on the colored circuit design based on the coloring of the elements of the circuit design to generate a phase abstracted circuit design; and verifying the phase abstracted circuit design.