1. A computer program product comprising computer executable instructions stored on a computer readable storage medium for using incremental verification to apply a verification result obtained using a first netlist representing a first version of a design to a second netlist representing a second version of the design, comprising: instructions for creating a modified netlist by eliminating a verification constraint from a netlist selected from the first and second netlists; and instructions for using the modified netlist to create a composite netlist suitable for determining equivalence between the first and second netlists.