REGISTER RETIMING AND VERIFICATION OF AN INTEGRATED CIRCUIT DESIGN

A circuit design description may have registers and combinational gates. Circuit design computing equipment may perform register retiming on the circuit design description, whereby registers are moved across combinational gates, information about the register moves are recorded, and ultimately a modified circuit design description is created. The circuit design computing equipment may perform sequential equivalence checking to ensure that the circuit design description and the modified circuit design description are sequentially equivalent. To facilitate the sequential equivalence checking, the circuit design computing equipment may augment the two circuit design descriptions based on the information recorded during register retiming.