1. A method for performing verification, said method comprising: selecting a set of gates to add to a first localization netlist; forming a refinement netlist; computing a min-cut with sinks comprising one or more gates in said refinement netlist and sources comprising one or more inputs of an original netlist and one or more registers registers of said original netlist which are not part of said refinement netlist; and obtaining a final localized netlist by adding one or more gates to said refinement netlist to grow said refinement netlist until reaching one or more cut-gates of said min-cut.