1. A method to determine a function to rectify functional differences between netlist G 1 and netlist G 2 having inputs V, the method comprising: determining, via a microprocessor associated with a computer system, a signal s of netlist G 1 capable of being re-synthesized to correct the functional differences between netlist G 1 and netlist G 2 ; assigning, via the microprocessor associated with the computer system, respective static values to a first plurality of inputs V; assigning, via the microprocessor associated with the computer system, respective initial values to a second plurality of inputs V; determining, via the microprocessor associated with the computer system, a first function based on the assigned static values, the assigned initial values, a first error function reflecting the difference between outputs of netlist G 1 and netlist G 2 for each vector of inputs V in a case that s equals 0, and a second error function reflecting the difference between the outputs of netlist G 1 and netlist G 2 for each vector of inputs V in a case that s equals 1; determining, via the microprocessor associated with the computer system, whether the first function rectifies the functional differences between netlist G 1 and netlist G 2 ; if it is determined that the first function does not rectify the functional differences, assigning, via the microprocessor associated with the computer system, respective next values to the second plurality of inputs; and determining, via the microprocessor associated with the computer system, a second function based on the first function, the assigned static values, the assigned next values, the first error function, and the second error function.